https://pantsbuild.org/ logo
b

bitter-ability-32190

02/11/2022, 5:31 PM
I'm ๐ŸŽฃ for opinions on https://github.com/pantsbuild/pants/pull/14443 ๐Ÿงต Tl;DR the
# delete me
comments in generated commits through the git hook
c

curved-television-6568

02/11/2022, 9:09 PM
Works well if you use an editor for writing your commit message.. otherwise, youโ€™ll want to edit the PR description most of the time.. ๐Ÿ˜› Not really seeing the issue with that though ?
b

bitter-ability-32190

02/11/2022, 9:12 PM
Things slip through the cracks ๐Ÿ˜‰ (see the link in the PR)
c

curved-television-6568

02/11/2022, 9:20 PM
Yeah, I just read up on the new comments there.. no objections from me ๐Ÿ˜‰