GitLab forks and submodules

Ben Gamari ben at
Thu Jan 10 17:18:43 UTC 2019

Ömer Sinan Ağacan <omeragacan at> writes:

>> As I mention in the documentation, those with commits bits should feel
>> free to push branches to ghc/ghc.
> This is sometimes not ideal as it wastes GHC's CI resources. For example I make
> a lot of WIP commits to my work branches, and I don't want to keep CI machines
> busy for those.
This is precisely why we have the two-phase CI configuration. It ensures
that obviously-wrong changes waste no more than two Linux builds worth of
effort. We currently have plenty of Linux capacity so I'm not terribly
worried about this.


- Ben

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 487 bytes
Desc: not available
URL: <>

More information about the ghc-devs mailing list