<div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div class="gmail_default" style="font-family:verdana,sans-serif">On Wed, 9 Jan 2019 at 05:07, Iavor Diatchki <<a href="mailto:iavor.diatchki@gmail.com">iavor.diatchki@gmail.com</a>> wrote:<br></div></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">One other thing:<div><br></div><div>    At least on Github, using the button on the site to merge a request always creates a proper merge (not a rebase), so the history won't be straight if we do things that way.  I believe the reasoning is that in this way, you have record of who did the merging. </div><div>    I am not sure if this holds for Gitlab, but we should look into it, if we want to keep the straight history.</div></div></blockquote><div><br></div><div style="font-family:verdana,sans-serif" class="gmail_default">For GitLab, you can configure 'Fast Forward Merges'. This will then only allow fast forward merges from the UI.<br></div><div style="font-family:verdana,sans-serif" class="gmail_default"><br></div><div style="font-family:verdana,sans-serif" class="gmail_default"><a href="https://docs.gitlab.com/ee/user/project/merge_requests/fast_forward_merge.html">https://docs.gitlab.com/ee/user/project/merge_requests/fast_forward_merge.html</a></div><div style="font-family:verdana,sans-serif" class="gmail_default"><br></div><div style="font-family:verdana,sans-serif" class="gmail_default">I'm not sure if that's been configured for <a href="https://gitlab.haskell.org/ghc/ghc/">https://gitlab.haskell.org/ghc/ghc/</a> as I don't have permission to look at that.<br></div><div style="font-family:verdana,sans-serif" class="gmail_default"><br></div><div style="font-family:verdana,sans-serif" class="gmail_default"> GitHub also has various options for merging PRs. You might have worked on a project that only allowed merge commits but you can enable/disable merge-commit, squash-commits and rebase-commits on GitHub.</div><div style="font-family:verdana,sans-serif" class="gmail_default"><br></div><div style="font-family:verdana,sans-serif" class="gmail_default">Cheers,</div><div style="font-family:verdana,sans-serif" class="gmail_default">Steve.<br></div></div></div></div></div>