A simple github action to merge back master to a development branch.  This action uses an optional environment variable:
BASE_BRANCHThe base branch where master changes should be merged to. Defaults todevelop.DESC_PATHThe path in your repository for the PR body template. Defaults to.github/merge-instructions.md. If this file exists, this will be used for the description of the PR (only if it's not mergable). Environment variables can be used in this file, they will be resolved.REVIEWERSAn array with the list of reviewers for the PR, if there are merge conflictsTEAM_REVIEWERSAn array of team slugs for reviewing the PR, if there are merge conflictsHEAD_USER(Optional) Github API now has a validation of theheadwith the formatusername:ref-name. IfHEAD_USERspecified,HEAD_ORGis ignoredHEAD_ORG(Optional) Github API now has a valitation of theheadwith the formatorganisation:ref-name.
The action uses GitHub's REST API to create a PR and merge it remotely on GitHub's servers.