-
-
Notifications
You must be signed in to change notification settings - Fork 69
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Proposal: Check the branches that PRs are raised against and from #17
Comments
Thank you for logging this |
Still a fan of this feature |
Derek add label: priority/low |
The idea is here that: PRs should only be raised to target master - therefore if someone raises a PR that doesn't - apply a label. I.e. I raise a PR to a branch named 0.7.0 - that should add a label, I don't know what label but am open to suggestions: 2nd scenario: Someone raises a PR from the master branch of their repo. This can be destructive to merge - especially if that person has been rebasing commits / force pushing or even altering historic commits. Derek should add a warning comment:
It should also add a label like: In both scenarios the user can only raise a new PR to fix the problem. This means no code is needed to remove the labels. |
So adding a label rather than closing the PR? Would this be a separate 'feature' that could be enabled / disabled in the config yaml? Would these 2 scenarios (target and origin) be separate features? Or part of a single 'branch check' feature? |
This would be worth doing - even at a simplistic level - no PRs from master for instance. |
Taking this |
I met with Ivana and Dimitar. We think the action should be:
|
Upon submission of a PR Derek should check the originating branch name, and if he finds
master
the PR closed with a message advising the user that they should re-submit from a non-master branch.Also, check that pull request is against master / default.
The text was updated successfully, but these errors were encountered: