time submodule not accepting patches
ian at well-typed.com
Thu Jan 17 16:00:20 CET 2013
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?
More information about the ghc-devs