Skip to content
This repository has been archived by the owner on Nov 10, 2020. It is now read-only.

Github usage conventions

Jump to bottom
Ingo Müller edited this page Nov 19, 2015 · 2 revisions

Guidelines on how to use the tool collaboratively

  • The creator of a pull request is not the one who merges it in.
  • The opener of an issue also closes the issue (so s/he knows if the thing has really been resolved as pleased).
  • The creator of a branch also deletes the branch (?).
Clone this wiki locally