diff options
| author | Jeff King <peff@peff.net> | 2024-09-12 05:43:36 -0400 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2024-09-12 10:21:10 -0700 |
| commit | 48c55943c5c7d1ab35fe8af62f656f8e40fe18e5 (patch) | |
| tree | b8a33eefa93fd385fdc835cf15dfe00a0eb6fa5b /commit.h | |
| parent | 90f2c7240ccc7fb349199b4ded6b47702b40331f (diff) | |
ci: drop run-docker scripts
We haven't used these scripts since 4a6e4b9602 (CI: remove Travis CI
support, 2021-11-23), as the GitHub Actions config has support for
directly running jobs within docker containers.
It's possible we might want to resurrect something like this in order to
be more agnostic to the CI platform. But it's not clear exactly what it
would look like. And in the meantime, it's just a maintenance burden as
we make changes to CI config, and is subject to bitrot. In fact it's
already broken; it references ci/install-docker-dependencies.sh, which
went away in 9cdeb34b96 (ci: merge scripts which install dependencies,
2024-04-12).
Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'commit.h')
0 files changed, 0 insertions, 0 deletions