GitHub force push are not handled
No push event seems to be triggered.
Investigate in order to reproduce, on direct branch and/or Pull Requests.
Edited by Sullivan S.
No push event seems to be triggered.
Investigate in order to reproduce, on direct branch and/or Pull Requests.