GitHub

Bot to display differences on .dmi icons on GitHub.

Name		Name	Last commit message	Last commit date
Latest commit History 40 Commits
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
bulk_prs.txt		bulk_prs.txt
config.json.example		config.json.example
database.py		database.py
icons.py		icons.py
pr_icon_differ.py		pr_icon_differ.py
requirements.txt		requirements.txt
schema.sql		schema.sql

Provide feedback