3 ms·
GitHub API has a good Python wrapper, it is usually not too difficult to roll your own. In this sample you can probably get the file list without a Git repo che
by lozenge 8y ago
GitHub API has a good Python wrapper, it is usually not too difficult to roll your own. In this sample you can probably get the file list without a Git repo checked out at all. The key is to make every event from GitHub feed into a "reconsider_pr" function that refetches all info on the PR, rather than keeping state and trying to minimise your API requests.
However it looks like you could build this out of combining bulldozer & another bot from palantir, if you really want to go no code.