Request for a PR bot to check the target branch

Open Jermolene opened this issue 8 months ago • 0 comments

I occasionally accidentally merge PRs that target the wrong branch. For example, see https://github.com/TiddlyWiki/TiddlyWiki5/pull/9037#issuecomment-2838785340

It would help avoid these errors if we had a GitHub action that runs the following steps:

If the target branch is tiddlywiki-com, verify that every file included in the PR is within the /editions folder. If there are any files outside this folder then add an error message to the PR "Error: PRs targeting the 'tiddlywiki-com' branch must not contain any files outside the /editions folder"
If the target branch is master, check whether every file included in the PR is within the /editions folder. If all the files are within this folder then add a warning message "It looks like this PR comprises only documentation. If these changes do not specifically relate to the prerelease then this PR should target the 'master' branch"