https://pantsbuild.org/ logo
#general
Title
# general
a

ancient-stone-50795

10/30/2015, 2:17 AM
@bored-art-40741: the biggest trick that you can ‘easily’ do is split into 2 git servers. One serves master, the other one you push branches to