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
Philipp Wurm edited this page Sep 13, 2019
·
1 revision
Pull Requests
For every pull request at least 2 reviewers have to be assigned.
Merging pull request
When merging a pull request into development branch, it is required to do a standard merge (avoid squash merge). The remaining feature-branch card, which is created by github, can be archived.