I'm :fishing_pole_and_fish: for opinions on <https...
# development
b
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
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
Things slip through the cracks ๐Ÿ˜‰ (see the link in the PR)
c
Yeah, I just read up on the new comments there.. no objections from me ๐Ÿ˜‰