Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
* now contains all the commits of a PR, not only the last one * now copies labels on the backport PRs * now copies milestones on the backport PRS * now copies requested reviewers to the backport PRS The action instructions for manually merging were mostly wrong and rarely worked. The actions are now more descriptive and separated (using worktrees) Signed-off-by: Joshua Schmid <[email protected]> (cherry picked from commit 2a8191e)
- Loading branch information