mirror of
https://github.com/git/git.git
synced 2024-09-22 00:57:51 +02:00
c08bb26010
As a follow-up to the preceding commit's shortening of CI job names,
rename the only job that starts with an upper-case letter to be
consistent with the rest. It was added in
|
||
---|---|---|
.. | ||
workflows | ||
CONTRIBUTING.md | ||
PULL_REQUEST_TEMPLATE.md |