webdiff
webdiff copied to clipboard
Eliminate dependency on PyGithub
It's used in a somewhat complex way, primarily by githubdiff.py. Replacing it with direct use of the GitHub API would allow me to drop the dependency on requests.