Error on push to GHC git repo due to Trac?