Yes, it seems to work now. I still don't see commit emails, though. Thanks, Pedro On Thu, Jan 17, 2013 at 3:00 PM, Ian Lynagh wrote:

On Mon, Jan 14, 2013 at 12:23:31PM +0000, José Pedro Magalhães wrote:

...

I cannot push any patch to the time submodule of the GHC repo. For instance, creating a new branch succeeds locally, and succeeds in pushing, but the branch is never created on the remote. Also, no commit email is generated. Could this be fixed?

Ah, its post-update hook wasn't enabled. Does it work now?

Thanks Ian