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 10:47:40 +02:00
parent 0fa84f869d
commit 98579e297b
2 changed files with 2 additions and 21 deletions
--- a/ci/cirrus.sh
+++ b/ci/cirrus.sh
@@ -4,7 +4,8 @@ set -eux

 export LC_ALL=C

-# Print relevant CI environment to allow reproducing the job outside of CI.
+# Print commit and relevant CI environment to allow reproducing the job outside of CI.
+git show --no-patch
 print_environment() {
    # Turn off -x because it messes up the output
    set +x