diff options
| author | Patrick Steinhardt <ps@pks.im> | 2024-04-12 06:44:02 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2024-04-12 08:47:50 -0700 |
| commit | ab2b3aadf322fccffeaabe7470e1b5905537a888 (patch) | |
| tree | 9267bfa53f5169f01b0df38d9b4971344c612137 /builtin/commit.c | |
| parent | ci: rename "runs_on_pool" to "distro" (diff) | |
| download | git-ab2b3aadf322fccffeaabe7470e1b5905537a888.tar.gz git-ab2b3aadf322fccffeaabe7470e1b5905537a888.zip | |
ci: expose distro name in dockerized GitHub jobs
Expose a distro name in dockerized jobs. This will be used in a
subsequent commit where we merge the installation scripts for dockerized
and non-dockerized jobs.
Signed-off-by: Patrick Steinhardt <ps@pks.im>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'builtin/commit.c')
0 files changed, 0 insertions, 0 deletions