<div dir="auto"><div>I agree with Omer that we shouldn't encourage people to push wip branches to ghc/ghc. It wastes resources and pollutes the repo with lots of branches that will invariably not be deleted. </div><div dir="auto"><br></div><div dir="auto">I would rather we use absolute paths in the submodule file as I have spent far longer than I expected trying to get git to use the right submodule in the past when operating on forks. </div><div dir="auto"><br></div><div dir="auto">Matt<br><br><div class="gmail_quote" dir="auto"><div dir="ltr">On Tue, 8 Jan 2019, 10:09 Gabor Greif <<a href="mailto:ggreif@gmail.com">ggreif@gmail.com</a> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">You can specify `[skip ci]` in the commit message if you don't want to<br>
run the pipeline. When you are done, just amend your commit with the<br>
finalised note.<br>
<br>
    Gabor<br>
<br>
On 1/8/19, Ömer Sinan Ağacan <<a href="mailto:omeragacan@gmail.com" target="_blank" rel="noreferrer">omeragacan@gmail.com</a>> wrote:<br>
>> As I mention in the documentation, those with commits bits should feel<br>
>> free to push branches to ghc/ghc.<br>
><br>
> This is sometimes not ideal as it wastes GHC's CI resources. For example I<br>
> make<br>
> a lot of WIP commits to my work branches, and I don't want to keep CI<br>
> machines<br>
> busy for those.<br>
><br>
> Ömer<br>
><br>
> Ben Gamari <<a href="mailto:ben@well-typed.com" target="_blank" rel="noreferrer">ben@well-typed.com</a>>, 8 Oca 2019 Sal, 04:53 tarihinde şunu yazdı:<br>
>><br>
>> Moritz Angermann <<a href="mailto:moritz.angermann@gmail.com" target="_blank" rel="noreferrer">moritz.angermann@gmail.com</a>> writes:<br>
>><br>
>> > Can’t we have absolute submodule paths? Wouldn’t that elevate the<br>
>> > issue?<br>
>> ><br>
>> Perhaps; I mentioned this possibility in my earlier response. It's not<br>
>> clear which trade-off is better overall, however.<br>
>><br>
>> > When we all had branches on ghc/ghc this<br>
>> > was not an issue.<br>
>> ><br>
>> As I mention in the documentation, those with commits bits should feel<br>
>> free to push branches to ghc/ghc.<br>
>><br>
>> Cheers,<br>
>><br>
>> - Ben<br>
>> _______________________________________________<br>
>> ghc-devs mailing list<br>
>> <a href="mailto:ghc-devs@haskell.org" target="_blank" rel="noreferrer">ghc-devs@haskell.org</a><br>
>> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
> _______________________________________________<br>
> ghc-devs mailing list<br>
> <a href="mailto:ghc-devs@haskell.org" target="_blank" rel="noreferrer">ghc-devs@haskell.org</a><br>
> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
><br>
_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org" target="_blank" rel="noreferrer">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
</blockquote></div></div></div>