GitHub Scripts
Scripts for working with GitHub.
- pr_comment: comment on all open pull requests in a repository with a given markdown file.
python3 pr_comment.py OWNER/REPO comment.md
- pr_close: close all open pull requests in a repository
python3 pr_close.py OWNER/REPO