Stream: t-lang/wg-unsafe-code-guidelines

Topic: Change repo defualt merge policy

RalfJ (Feb 22 2019 at 09:41, on Zulip):

It seems the default merge policy of the UCG repo is to "rebase and merge". I find that quite annoying, because it means that the commit I am submitting in the PR never actually ends up in the repository. This makes it very hard to track which branches of my fork, as well as which local branches, I can delete.

RalfJ (Feb 22 2019 at 09:41, on Zulip):

I propose we follow a more git-style workflow and actually preserve the commits that get submitted in PRs.

Last update: Jul 14 2020 at 14:00UTC