You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
ci(librarian): close existing PR and delete branch in update workflow (#13689)
Close the existing pull request and delete its branch (instead of
failing) to allow the daily update workflow to run continuously without
manual intervention.
Fixesgoogleapis/librarian#6687
gh api -X DELETE "repos/${{ github.repository }}/git/refs/heads/${current_branch}" || {
60
+
echo "Error: Failed to delete remote branch ${current_branch}."
61
+
exit 1
62
+
}
54
63
fi
55
64
fi
56
65
- name: Set up Go
@@ -130,7 +139,7 @@ jobs:
130
139
PR_BODY: |
131
140
Updated googleapis commitish in librarian.yaml to https://github.com/googleapis/googleapis/commit/${{ steps.commit.outputs.new_commit }}
132
141
133
-
💡 **Note:** Please merge or close this PR so that the daily update workflow can continue to run successfully the next day. Alternatively, you can manually trigger the workflow once this PR is merged or closed.
142
+
💡 **Note:** If this PR is still open when the daily update workflow runs next, it will be closed and replaced with a new PR containing the latest updates.
0 commit comments