File tree Expand file tree Collapse file tree 1 file changed +5
-0
lines changed Expand file tree Collapse file tree 1 file changed +5
-0
lines changed Original file line number Diff line number Diff line change @@ -88,13 +88,17 @@ jobs:
8888 cd $GITHUB_WORKSPACE
8989 git config --global --add safe.directory $GITHUB_WORKSPACE
9090 if git diff --exit-code; then
91+ echo "No changes detected, skipping PR creation"
9192 exit 0
9293 fi
94+
9395 git config --global user.email "[email protected] " 9496 git config --global user.name "GitHub Action"
9597 git remote set-url origin https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/${{ github.repository }}
9698 git fetch origin
9799
100+ echo "Github env set and origin is fetched! Now checking if PR exists.."
101+
98102 BRANCH_NAME="update-bindings-${{ matrix.ros_distribution }}"
99103 if gh pr list --head "$BRANCH_NAME" --state open --json number --jq length | grep -q '^0$'; then
100104 echo "No existing PR found, will create new one"
@@ -115,6 +119,7 @@ jobs:
115119 --head "$BRANCH_NAME" \
116120 --title "Regenerate bindings for ${{ matrix.ros_distribution }}" \
117121 --body "This PR regenerates the bindings for ${{ matrix.ros_distribution }}."
122+ echo "Created new PR!"
118123 else
119124 echo "PR already exists and has been updated with new commit"
120125 fi
You can’t perform that action at this time.
0 commit comments