Tim Ruffing 98579e297b ci: Drop manual checkout of merge commit ...

This is no longer necessary as of
https://github.com/cirruslabs/cirrus-ci-docs/issues/791#issuecomment-1615691585 .

2023-07-01 13:01:57 +02:00

3.6 KiB

Executable File

Raw Blame History

View Raw