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
Code Push Failed: A code push safe output failed, and subsequent safe outputs were cancelled.
Code Push Errors:
push_to_pull_request_branch: Pull request title "[Repo Assist] feat: add integrate to LinearSpline, Step, and CubicSpline" does not start with required prefix "[repo-assist] "
Action Required
Assign this issue to an agent to debug and fix the issue.
Debug with any coding agent
Use this prompt with any coding agent (GitHub Copilot, Claude, Gemini, etc.):
Debug the agentic workflow failure using https://raw.githubusercontent.com/github/gh-aw/main/debug.md
The failed workflow run is at https://github.com/fslaborg/FSharp.Stats/actions/runs/28504059501
Manually invoke the agent
Debug this workflow failure using your favorite Agent CLI and the agentic-workflows prompt.
In commit 63ead34, the created/required title prefixes both for create-pull-request and push-to-pull-request-branch were changed from [Repo Assist] to [repo-assist], which is now leading to this issue and will probably pop up again in other PRs opened before May 9th.
If I understand correctly, this should resolve itself in the future as the old PRs will be closed and the new ones are named correctly. In the meantime it seems possible to rename the currently open PRs to avoid similar issues going forward. Can someone with more knowledge confirm or propose a better workaround for now?
Activity
annacwe commentedon Jul 3, 2026
In commit 63ead34, the created/required title prefixes both for create-pull-request and push-to-pull-request-branch were changed from [Repo Assist] to [repo-assist], which is now leading to this issue and will probably pop up again in other PRs opened before May 9th.
If I understand correctly, this should resolve itself in the future as the old PRs will be closed and the new ones are named correctly. In the meantime it seems possible to rename the currently open PRs to avoid similar issues going forward. Can someone with more knowledge confirm or propose a better workaround for now?