https://pantsbuild.org/ logo
w

witty-crayon-22786

04/19/2016, 11:30 PM
@billowy-beach-68498: regarding the pull request: we only really use them for CI, so the message used there doesn't matter