https://pantsbuild.org/ logo
w

witty-crayon-22786

02/20/2020, 12:56 AM
we do know that there are followup tweaks to that design necessary: https://github.com/pantsbuild/pants/issues/8090#issuecomment-536051780