Periodically poll a Github pull request and merge it automatically if all checks pass
Primary LanguagePython
No issues in this repository yet.