Erik de Castro Lopo mle+hs at
Mon Aug 5 03:25:06 CEST 2013

Jan Stolarek wrote:

> > Better yet, the sync-all script should detect whether it is on master and
> > error out (with a decent error message) if not.
> Why? I think it is behaving properly - it fetches master branch from the server and merges it into 
> local master branch, just as expected. I imagine that switching to master branch in all the 
> subrepos before doing ./sync-all pull will be annoying. Perhaps a warning will be useful here, 
> but error seems like too much.

I downgraded it to a warning and commited it.

Erik de Castro Lopo

More information about the ghc-devs mailing list