DEBUG

Author: tautschnig

.github/workflows/update-subtree.yml

@@ -153,6 +153,7 @@ jobs:
     - name: Merge subtree/library changes
       if: ${{ env.MERGE_CONFLICTS != 'noop' && env.MERGE_PR_EXISTS == 'no' }}
       run: |
+        set -vx
         cd verify-rust-std
         if ! git rev-parse --verify subtree/library; then
           git checkout -t -b subtree/library origin/update-subtree/library
@@ -162,6 +163,7 @@ jobs:
         # Tell git about the correct merge base to use, which is the subtree
         # head that we last merged from.
         PREV_SUBTREE_HEAD=$(git log --grep="^git-subtree-split:" | egrep '^[[:space:]]+git-subtree-split:' | awk '{print $2;exit}')
+        echo "Previous subtree head: ${PREV_SUBTREE_HEAD}"
         git replace --graft subtree/library ${PREV_SUBTREE_HEAD}
         git replace --graft main ${PREV_SUBTREE_HEAD}