This script is for checking pull requests that are created to merge changes into main/master branch. Depending on the setting of the repo on GitHub, a user may or may not want to directly merge into main/master. This script makes that decision more explicit.
