i'm wondering whether i should work on <https://gi...
# development
w
i'm wondering whether i should work on https://github.com/pantsbuild/pants/issues/4173 or continue to work on performance