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: Nov 20 2019 at 13:10UTC