Re: PET Error on git push
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 :)
.''`. 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