[GHC DevOps Group] Welcome to GitLab!
ben at well-typed.com
Thu Dec 27 15:11:09 UTC 2018
Matthew Pickering <matthewtpickering at gmail.com> writes:
>> To ensure that GHC's git history remains linear ghc/ghc will use GitLab's
>> "fast-forward without a merge commit" merge strategy.
> Are merge requests squashed before they are merged?
> It seems that the answer by default is no..
Indeed there are not. Moreover, in the workflow that I suggest in the
email not squashing is the desired behavior since each commit is atomic.
> and the reason being that upsteam prefers "Convention over
> However it seems that there is a per-mr option which can be checked if
> you are diligent to do it for each MR. Some comments indicate that
> it's possible to implement a webhook to change this behaviour.
I'm not sure there is a reasonable default here; not matter what you
choose it will be wrong a good fraction of the time. The current plan is
to just ensure that the person who merges an MR considers whether the
history it introduces is useful and choose the correct option. I believe
this should work fine although I'm happy to reconsider if not.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 487 bytes
Desc: not available
More information about the Ghc-devops-group