[GHC DevOps Group] Welcome to GitLab!
ben at well-typed.com
Thu Dec 27 16:18:00 UTC 2018
Matthew Pickering <matthewtpickering at gmail.com> writes:
> Does this mean that the commit message doesn't come from the MR description?
Correct. Like GitHub, the commit messages that make it into the version
control history are precisely the commit messages of the commits in your
> If I want to edit the commit message for a description I need to
> 1. squash the changes locally
> 2. force push the branch
> 3. Wait for CI to finish building (even though I just changed the
> commit message).
This would be a great time to use the "Merge when CI passes" feature.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 487 bytes
Desc: not available
More information about the Ghc-devops-group