diff options
author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2024-10-30 15:03:51 +0100 |
---|---|---|
committer | Johannes Schindelin <johannes.schindelin@gmx.de> | 2024-10-30 17:38:38 +0100 |
commit | 062d9fb033ec994305343bb28dbad3c2f799de47 (patch) | |
tree | 9455e55d98f5fb3a68e46571a58d055956881617 /git-gui/lib/commit.tcl | |
parent | dbecc617f75eea6ee5d05823a38b91223ff22b11 (diff) | |
parent | 83b08eb19f05710a92d565124606dcaf68bcc68b (diff) |
Merge branch 'backport-github-actions-fixes'
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>
Diffstat (limited to 'git-gui/lib/commit.tcl')
0 files changed, 0 insertions, 0 deletions