Hi,
I often do a force-push of identical contents, with a different changeset id: $ git commit -a --amend && git push --force Regards Antoine. Le 25/04/2019 à 11:39, Yurui Zhou a écrit : > Hey guys: > > When submitting PR to master, I often run into Travis CI build failures that > are unrelated to my changes. I usually close and reopen the PR to re-trigger > the build. Just wondering is there any other way (like a button) that allow > me to re-trigger the falling builds without closing and reopening my PR? > > Thanks > Yurui >
