Improve logging and workflow names

25792b53f2ad5165e737ade2a3465b07d97bb205

Wolfsblvt <wolfsblvt@gmail.com>

3 files changed, +9 -7Ignore whitespace
.github/workflows/issues-updates-on-merge.yml+7 -5
@@ -29,11 +29,13 @@ jobs:
29 env:29 env:
30 GH_TOKEN: ${{ secrets.BOT_GITHUB_TOKEN || secrets.GITHUB_TOKEN }}30 GH_TOKEN: ${{ secrets.BOT_GITHUB_TOKEN || secrets.GITHUB_TOKEN }}
31 run: |31 run: |
32 for ISSUE in $(echo $issues | jq -r '.[]'); do32 for ISSUE in $(echo $issues | jq -r '.[]'); do
33 echo "Updating issue #$ISSUE"
34 if [ "${{ github.ref }}" == "refs/heads/staging" ]; then33 if [ "${{ github.ref }}" == "refs/heads/staging" ]; then
35 gh issue edit $ISSUE -R ${{ github.repository }} --add-label "✅ Done (staging)"34 LABEL="✅ Done (staging)"
35 gh issue edit $ISSUE -R ${{ github.repository }} --add-label "$LABEL"
36 elif [ "${{ github.ref }}" == "refs/heads/release" ]; then36 elif [ "${{ github.ref }}" == "refs/heads/release" ]; then
37 gh issue edit $ISSUE -R ${{ github.repository }} --add-label "✅ Done"37 LABEL="✅ Done"
38 gh issue edit $ISSUE -R ${{ github.repository }} --add-label "$LABEL"
38 fi39 fi
39 done40 echo "Added label '$LABEL' to issue #$ISSUE"
41 done
.github/workflows/pr-auto-manager.yml+1 -1
@@ -177,6 +177,6 @@ jobs:
177 GH_TOKEN: ${{ secrets.BOT_GITHUB_TOKEN || secrets.GITHUB_TOKEN }}177 GH_TOKEN: ${{ secrets.BOT_GITHUB_TOKEN || secrets.GITHUB_TOKEN }}
178 run: |178 run: |
179 for ISSUE in $(echo $final_issues | jq -r '.[]'); do179 for ISSUE in $(echo $final_issues | jq -r '.[]'); do
180 echo "Updating issue #$ISSUE"
181 gh issue edit $ISSUE -R ${{ github.repository }} --add-label "✅ Done (staging)"180 gh issue edit $ISSUE -R ${{ github.repository }} --add-label "✅ Done (staging)"
181 echo "Added label '✅ Done (staging)' to issue #$ISSUE"
182 done182 done
.github/workflows/pr-check-merge-conflicts.yaml+1 -1
@@ -1,4 +1,4 @@
1name: 🎯 Push Handler1name: 🎯 Check Merge Conflicts
22
3on:3on:
4 # So that PRs touching the same files as the push are updated4 # So that PRs touching the same files as the push are updated