red-green-prs от kravse

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