You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
optimizations and refactoring are good, but they should be related to the scope of the PR. Avoid collateral changes whenever possible.
no CHANGELOG in the review.
no matter how many commits in the topic branch, i.e. no need to alter topic branch's history.
merge via the command line:
do not use github's UI
git merge --no-ff --no-commit TOPIC-BRANCH
update CHANGELOG
optionally correct minor typos or minor refactoring => things that cannot break the tests and that you don't want the contributor to bother with
commit using a nice message. Usually, the CHANGELOG is a good inspiration. Add some Closes #XXX at the end of the commit message. Think about git log --first-parent when writing the message : this is the one that summarizes changes introduced by the pull-request. Things like "Merge topic-branch" do not help!
push master (it closes the PR and issue)
do not delete the topic branch on github (since they are prefixed by issue number).
In order to ease maintenance of the project, as a maintainer, I want to share the release and merging guidelines.
The text was updated successfully, but these errors were encountered: