Channels
welcome
github-notifications
development
announce
random
plugins
general
pex
Powered by
#development
Title
b
bitter-ability-32190
04/03/2022, 12:57 PM
Also apparently GitHub mobile doesn't give you you the prompt to edit the commit message when merging. Sorry
https://github.com/pantsbuild/pants/pull/14984
Post