Jan Stolarek jan.stolarek at
Sun Aug 4 20:17:39 CEST 2013

> 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.


More information about the ghc-devs mailing list