Re: GitLab forks and submodules

You can specify `[skip ci]` in the commit message if you don't want to run the pipeline. When you are done, just amend your commit with the finalised note. Gabor On 1/8/19, Ömer Sinan Ağacan wrote:

...

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.

Ömer

Ben Gamari , 8 Oca 2019 Sal, 04:53 tarihinde şunu yazdı:

...

Moritz Angermann writes:

...

Can’t we have absolute submodule paths? Wouldn’t that elevate the issue?

Perhaps; I mentioned this possibility in my earlier response. It's not clear which trade-off is better overall, however.

...

When we all had branches on ghc/ghc this was not an issue.

As I mention in the documentation, those with commits bits should feel free to push branches to ghc/ghc.

Cheers,

- Ben _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs