diff options
| author | David Justo <david.justo.1996@gmail.com> | 2025-10-21 15:07:57 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-10-21 15:07:57 -0700 |
| commit | 3728ac7dae5bfd92a2c7f8b27fd0748e913cbde4 (patch) | |
| tree | 90a04907ef5461215d2c53be5bf9aa9812e8b91c /llvm/lib/Transforms/Utils/BasicBlockUtils.cpp | |
| parent | 841e1e1e17c3bd83e9eaa9e10a057b8217eb8de3 (diff) | |
| download | llvm-3728ac7dae5bfd92a2c7f8b27fd0748e913cbde4.zip llvm-3728ac7dae5bfd92a2c7f8b27fd0748e913cbde4.tar.gz llvm-3728ac7dae5bfd92a2c7f8b27fd0748e913cbde4.tar.bz2 | |
[Docs] [Developer Policy] Document best practice of not tagging a username in commit messages and PR descriptions (#164328)
Related to:
https://discourse.llvm.org/t/forbidding-username-in-commits/86997
**Context:**
When we merge a commit including tag to another username (e.g.
`@<someUser>`), that account will receive an email / notification every
time that PR is cherry-picked and pushed to a fork, generating _a lot_
of spam in the user's inbox. As of today, there's no way of disabling
this on GitHub settings.
**This PR** documents this error in our developer policy, and reminds
contributors to avoid it.
**Next steps:** I'm a big believer that any policy that is not enforced
via automation is not enforced at all, so I'd love to see some kind of
check to prevent this error. However, there does not seem to be an
agreement to do that _yet_. I'll see if I can gather support for doing
that.
---------
Co-authored-by: Jakub Kuderski <kubakuderski@gmail.com>
Diffstat (limited to 'llvm/lib/Transforms/Utils/BasicBlockUtils.cpp')
0 files changed, 0 insertions, 0 deletions