https://pantsbuild.org/ logo
b

bored-art-40741

09/18/2015, 7:53 PM
That might be better, doesn't make it unduly difficult for contributors that can't push their own commits