Web developmentred-green-prskravseA little tool to swap the red and green indicators on GitHub pull requests. Added lines bad. Deleted lines goood.Screenshots from Mozilla Add-ons