Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add a backport GitHub Actions workflow
Now that we have release branches such as 0.1, we would like some convenient way to backport certain PRs that target `main`. This workflow was adapted from the one in the NixOS/nixpkgs repo and works as follows: To attempt to automatically create a PR that backports a PR merged to main, add the `backport X.Y` label to the merged PR where `X.Y` is an existing release branch (e.g `backport 0.1`). If the action is able to cherry-pick all the commits of the merged PR into a new PR targeting the `X.Y` branch, then the backport PR will be created. Otherwise, the GitHub Actions bot will reply to the merged PR indicating that there were merge conflicts and that you will manually need to backport by cherry-picking and resolving those conflicts.
- Loading branch information