red-green-prs kravse מאת

A little tool to swap the red and green indicators on GitHub pull requests. Added lines bad. Deleted lines goood.