As discussed in we do yet support ci re-merge please in github and it would be helpful to add it.
did we get requests for adding it?
What is the current workaround to replace this command if we need to re-trigger it from a GitHub project?
This ticket is a request, by , that needs it....
The current workaround is to go to the webhook invocation history in GitHub, find the right invocation (can be hard for busy projects), and re-send it.