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
{{ message }}
This repository has been archived by the owner on Oct 2, 2021. It is now read-only.
Every PR should be from different branch and after Merging the PR you should delete that branch. To do so click the Delete branch button.
Example -
Go to PR #18 and see there is a button named Delete branch before the comment box in the bottom. you should press this button every time you merge PR.
What is the motivation / use case for changing the behavior?
Unnecessary information is evil. If changes from any branch is already merged to the master bannch then there is no need for the branch to exists. So delete it and save the world
The text was updated successfully, but these errors were encountered:
I'm submitting a...
Current behavior
There are lot of unnecessary branches.
Expected behavior
Every
PR
should be from different branch and afterMerging
thePR
you should delete that branch. To do so click the Delete branch button.Example -
Go to PR #18 and
see
there is a button named Delete branch before the comment box in the bottom. you shouldpress
this button every time youmerge
PR.What is the motivation / use case for changing the behavior?
Unnecessary information is evil. If changes from any branch is already merged to the
master
bannch then there is no need for the branch to exists. Sodelete
it and save the worldThe text was updated successfully, but these errors were encountered: