support 'ci re-merge please' command for github

Description

As discussed in we do yet support ci re-merge please in github and it would be helpful to add it.

Activity

Show:
Eyal Edri
December 31, 2018, 3:22 PM

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?

Barak Korren
January 15, 2019, 6:53 AM

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.

Assignee

infra

Reporter

Dafna Ron

Blocked By

None

Priority

Medium
Configure