PET Error on git push

[gregor herrmann]

On Wed, 14 May 2014 13:38:59 +0300, Damyan Ivanov wrote:

> gregor, ansgar, any idea what needs to be done so that the information 
> on the web page updates?

If it doesn't fix itself, there's some helper script on moszumanska
to update all repos.
I never remember its name/location but I can look later, it should be
in my ~/.bash_history there :)

Cheers,
gregor

-- 
 .''`.  Homepage: http://info.comodo.priv.at/ - OpenPGP key 0xBB3A68018649AA06
 : :' : Debian GNU/Linux user, admin, and developer  -  http://www.debian.org/
 `. `'  Member of VIBE!AT & SPI, fellow of the Free Software Foundation Europe
   `-   BOFH excuse #87:  Password is too complex to decrypt