https://pantsbuild.org/ logo
w

witty-crayon-22786

03/02/2016, 9:01 PM
most of the tools do a fetch-and-atomic rename thing.