red-green-prs ავტორი kravse

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