🤖 Sync org-wide files to upstream repo#107

exercism-bot wants to merge 1 commit intoexercism:mainexercism/coq:mainfrom

exercism-bot:org-wide-files/7741814548exercism-bot/coq:org-wide-files/7741814548Copy head branch name to clipboard