10 Jan
2019
10 Jan
'19
12:18 p.m.
Ömer Sinan Ağacan
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. Cheers, - Ben