Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
We're not using Probot anymore. Based on open issues and PRs, this integration appears to have been broken for some time anyway. Since nobody has complained, I'm going to clean up these files without adding a replacement.
- Loading branch information