And we should prefer this url to the <http pantsbuild github Pants #general

And we should prefer this url to the <pantsbuild.g...

h

happy-kitchen-89482

05/01/2016, 1:06 AM

And we should prefer this url to the pantsbuild.github.io one