]> git.99rst.org Git - git.git/commitdiff
Merge branch 'js/ci-use-macos-13'
authorJunio C Hamano <redacted>
Wed, 8 Nov 2023 02:03:59 +0000 (11:03 +0900)
committerJunio C Hamano <redacted>
Wed, 8 Nov 2023 02:03:59 +0000 (11:03 +0900)
Replace macos-12 used at GitHub CI with macos-13.

* js/ci-use-macos-13:
  ci: upgrade to using macos-13


Trivial merge
git clone https://git.99rst.org/PROJECT