Name		Name	Last commit message	Last commit date
parent directory ..
README.md		README.md
github-pr-tools-merge.user.js		github-pr-tools-merge.user.js
github-pr-tools.user.js		github-pr-tools.user.js
github-products-branch-protection.user.js		github-products-branch-protection.user.js
github-pull-prefix-removal.user.js		github-pull-prefix-removal.user.js

README.md

GitHub Scripts

Auto selects some checkboxes for setting default branch protection on Products in GitHub.

When viewing Pull Requests on GitHub, if the PR is against a Modern Tribe repo, it removes the moderntribe/ prefix for easier scanning.