CONTRIBUTORS.txt currently says:
Please do not edit this file manually. It is generated using ./scripts/generate_contributors_list.sh. If a name is misspelled or appearing multiple times: add an entry in ./.mailmap`
However, ./scripts/generate_contributors_list.sh no longer exists on main. It looks like the script was removed as part of #328, [CI] Migrate to GHA, in commit ee1bfd3.
Could you confirm the intended maintenance path for CONTRIBUTORS.txt?
If the file is no longer meant to be generated, I can raise a PR to remove or update the stale instructions, and potentially delete the generated-file wording.
If the file is still meant to be generated, should the script be restored and hooked back into the current workflow instead?
CONTRIBUTORS.txtcurrently says:Please do not edit this file manually. It is generated using./scripts/generate_contributors_list.sh. If a name is misspelled or appearing multiple times: add an entry in./.mailmap`However,
./scripts/generate_contributors_list.shno longer exists on main. It looks like the script was removed as part of #328, [CI] Migrate to GHA, in commit ee1bfd3.Could you confirm the intended maintenance path for CONTRIBUTORS.txt?
If the file is no longer meant to be generated, I can raise a PR to remove or update the stale instructions, and potentially delete the generated-file wording.
If the file is still meant to be generated, should the script be restored and hooked back into the current workflow instead?