PET Error on git push

[Damyan Ivanov]

Hi Daniel,

-=| Daniel Lintott, 14.05.2014 10:16:40 +0100 |=-
> I may be wrong but it looks PET might not be updating correctly 
> again... Whenever I do a git push I get the following message:
> 
> remote: garbage after JSON object, at character offset 3089110 (before
> "31a2ce74c8f18e2720eb...") at
> /srv/home/groups/pet/PET2/pet2/pet-git-helper line 95.
> 
> It would also seem that this then prevents PET from updating as the
> chnages I push haven't appeared in the "Ready for Upload" section
> (despite being set to unstable)

For some reason the JSON file where PET keeps the information about 
the status of the branches/tags in Git got corrupted. May be related 
to me and you pushing changes at the same time, but I am not sure.

Fixing the file seemed relatively easy, I've deleted what seemed like 
an extra content and pushes started to work as usual after that.

gregor, ansgar, any idea what needs to be done so that the information 
on the web page updates?
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 836 bytes
Desc: Digital signature
URL: <http://lists.alioth.debian.org/pipermail/pet-devel/attachments/20140514/40f9e08e/attachment.sig>