time submodule not accepting patches
José Pedro Magalhães
jpm at cs.uu.nl
Thu Jan 17 17:13:56 CET 2013
Yes, it seems to work now. I still don't see commit emails, though.
On Thu, Jan 17, 2013 at 3:00 PM, Ian Lynagh <ian at well-typed.com> 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?
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the ghc-devs