In #47, the reviewer mistakenly edited the service name GitHub Copilot to GitHub and superseded #47 with #48. Following discussion, the service name was brought back to GitHub Copilot in #50. However, this was made by addingGitHub Copilot instead of editing the GitHub declaration’s service name, leading to a duplicate.
Correction
This requires @OpenTermsArchive/core intervention. @OpenTermsArchive/community-managers, please do not handle and focus on reviews.
[ ] Remove GitHub declaration
[ ] Remove GitHub versions
Future prevention
@OpenTermsArchive/community-managers: in case of suspicion on the service name, please do not override and proceed with merge, but start a discussion instead. Wait until you Approve a pull request before merging, and wait for reply if you Request changes 🙂
In #47, the reviewer mistakenly edited the service name
GitHub Copilot
toGitHub
and superseded #47 with #48. Following discussion, the service name was brought back toGitHub Copilot
in #50. However, this was made by addingGitHub Copilot
instead of editing theGitHub
declaration’s service name, leading to a duplicate.Correction
This requires @OpenTermsArchive/core intervention. @OpenTermsArchive/community-managers, please do not handle and focus on reviews.
GitHub
declarationGitHub
versionsFuture prevention
@OpenTermsArchive/community-managers: in case of suspicion on the service name, please do not override and proceed with merge, but start a discussion instead. Wait until you
Approve
a pull request before merging, and wait for reply if youRequest changes
🙂