#!/bin/sh

# 2013-02-27: The notifier is broken due to a combination
# of an old git version and submodules.
# 2013-02-28: Reenabled; now uses a locally installed git 1.8.1.3.
"$GIT_DIR/hooks/git-notifier"

export GIT_SSH=/srv/github/bin/ssh
git push --mirror git@github.com:ghc/ghc.git

"$GIT_DIR/hooks/post-receive-trac"