Subject: Missing git push notifications

Missing git push notifications

From: Daniel Stenberg <>
Date: Wed, 31 Aug 2011 11:05:43 +0200 (CEST)


It seems the git push notifications have stopped to work (and I find it
disturbing to not know when we push changes to the repository), and I can't
get hold of Peter Stuge who runs the server side for this...

Peter, if you read this, please poke the server accordingly!

Received on 2011-08-31