]> git.ipfire.org Git - thirdparty/git.git/commitdiff
projects / thirdparty / git.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: dbecc61 83b08eb)
Merge branch 'backport-github-actions-fixes'
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Wed, 30 Oct 2024 14:03:51 +0000 (15:03 +0100)
committerJohannes Schindelin <johannes.schindelin@gmx.de>
Wed, 30 Oct 2024 16:38:38 +0000 (17:38 +0100)
The planet keeps revolving, and CI definitions (even old ones) need to
be kept up to date, even if they worked unchanged before (because now
they don't).

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>

Trivial merge
Unnamed repository; edit this file 'description' to name the repository.