[sysadmin-bin] Enable the github's mirror on all the repositories.

[Andrea Veri <av src gnome org>]

commit 1563a8707ad183fb35fbb84ccfaa7dbdbe76f49c
Author: Andrea Veri <av gnome org>
Date:   Tue Aug 13 10:56:17 2013 +0200

    Enable the github's mirror on all the repositories.

 git/gnome-post-receive |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/git/gnome-post-receive b/git/gnome-post-receive
index 3c15fda..8a420dd 100755
--- a/git/gnome-post-receive
+++ b/git/gnome-post-receive
@@ -27,4 +27,5 @@ tee >($BINDIR/log-push 1>&2) \
     >($BINDIR/post-receive-notify-updates 1>&2) \
     >($BINDIR/post-receive-notify-ostree 1>&2) \
     >($BINDIR/post-receive-notify-kgb 1>&2) \
+    >($BINDIR/post-receive-github 1>&2) \
     | $BINDIR/gnome-post-receive-email 1>&2