[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: PET Error on git push

On Wed, 14 May 2014 14:58:03 +0200, gregor herrmann wrote:

> If it doesn't fix itself, 

Doesn't seem the case so far ...

> 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 :)

$ /home/groups/pet/PET2/pkg-perl/pet-git-helper.pkg-perl-packages update-all

Running now ...
(I _think_ that's also run from cron somehow somewhen ...)


 .''`.  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
   `-   NP: Bob Dylan: Forever Young

Attachment: signature.asc
Description: Digital Signature

Reply to: