Changes to ghc

Changes to ghc:
commit 3efcb0a7d147e05f86501783144bcd0ad3757e93
Author: Joachim Breitner <mail@joachim-breitner.de>
Date:   Fri Mar 7 16:50:43 2014 +0100

    Make sync-all handle all github protocols correctly

    This fixes #8824.