Skip to content
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

docs: Recommend use of backport scripts #14011

Merged
merged 2 commits into from
Nov 12, 2020

Conversation

pchaigno
Copy link
Member

Backport scripts are recommended over the manual approach because they avoid most errors (forgetting to update the labels, opening against the master branch, etc.) and it makes the format of our backport PRs consistent, which simplifies reviews.

Signed-off-by: Paul Chaignon <paul@cilium.io>
Backport scripts are recommended over the manual approach because they
avoid most errors (forgetting to update the labels, opening against the
master branch, etc.) and it makes the format of our backport PRs
consistent, which simplifies reviews.

Signed-off-by: Paul Chaignon <paul@cilium.io>
@pchaigno pchaigno added area/documentation Impacts the documentation, including textual changes, sphinx, or other doc generation code. area/misc Impacts miscellaneous areas of the code not otherwise owned by another area. labels Nov 12, 2020
@pchaigno pchaigno requested a review from a team as a code owner November 12, 2020 17:47
@pchaigno pchaigno requested a review from nebril November 12, 2020 17:47
@maintainer-s-little-helper maintainer-s-little-helper bot added the dont-merge/needs-release-note-label The author needs to describe the release impact of these changes. label Nov 12, 2020
@maintainer-s-little-helper maintainer-s-little-helper bot added this to In progress in 1.10.0 Nov 12, 2020
@pchaigno pchaigno added release-note/misc This PR makes changes that have no direct user impact. and removed area/misc Impacts miscellaneous areas of the code not otherwise owned by another area. labels Nov 12, 2020
@maintainer-s-little-helper maintainer-s-little-helper bot removed the dont-merge/needs-release-note-label The author needs to describe the release impact of these changes. label Nov 12, 2020
@pchaigno pchaigno added the ready-to-merge This PR has passed all tests and received consensus from code owners to merge. label Nov 12, 2020
@christarazi christarazi merged commit 1a67948 into master Nov 12, 2020
@christarazi christarazi deleted the pr/pchaigno/improve-backport-process branch November 12, 2020 19:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area/documentation Impacts the documentation, including textual changes, sphinx, or other doc generation code. ready-to-merge This PR has passed all tests and received consensus from code owners to merge. release-note/misc This PR makes changes that have no direct user impact.
Projects
No open projects
Development

Successfully merging this pull request may close these issues.

None yet

4 participants