Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
github: add
upstream-missing
label to PR checklist
I've created 3 new PR labels our repo: * `upstream-missing`: PRs that are yet to be upstreamed. * `upstream-not-needed`: PRs that have been merged upstream. * `upstream-merged`: PRs that have been merged upstream. To facilitate tracking, from now on each PR should be initially tagged as `upstream-missing` or `upstream-not-needed`. If a PR is created with `upstream-not-needed`, its description should explain why it won't be upstreamed unless it's directly obvious. When a change is merged upstream, the PR label should be changed to `upstream-merged` and a comment should be added linking to the upstream PR. Signed-off-by: Aurélien Bombo <[email protected]>
- Loading branch information