https://pantsbuild.org/ logo
b

bored-art-40741

09/18/2015, 7:21 PM
We should publicize the trick for auto-closing PRs and encourage it