Publish repository: Wed Oct 22 09:37:55 UTC 2025

Author: github-actions[bot]

.github/workflows/public_merge_check.yml

@@ -22,13 +22,17 @@ jobs:
           git remote add public https://x-access-token:${{ secrets.PRIVATE_REPO_ARLDM }}@github.com/utiasDSL/ARLDM-Advanced-Robot-Learning-And-Decision-Making.git
           git fetch public main
 
-      - name: Pick new commits
+      - name: Pick new commits (since lat repository publish)
         if: ${{ github.repository == 'utiasDSL/ARLDM-Advanced-Robot-Learning-And-Decision-Making' }}
         run: |
-          COMMITS=$(git log origin/main..public/main --invert-grep --grep='Publish repository' --pretty=format:"%H")
-          for c in $COMMITS; do
-            git cherry-pick $c || { echo "Cherry-pick failed for $c"; exit 1;" }
-          done
+          LAST=$(git log origin/main..public/main --grep='Publish repository' --format='%H' | head -n1)
+
+          if [ -n "$LAST" ]; then
+            git cherry-pick $LAST..public/main
+          else
+            git cherry-pick origin/main..public/main
+          fi
+
 
       - name: Check for conflicts
         if: ${{ github.repository == 'utiasDSL/ARLDM-Advanced-Robot-Learning-And-Decision-Making' }}