When I force push, I insert white space into a file where it will be ignored to trick git.
> On Apr 1, 2016, at 12:26 PM, Eric Charles <e...@apache.org> wrote: > > On 30/03/16 23:04, DuyHai Doan wrote: > > (snip...) > >> --> Same problem here, some times some of my PRs are just red because of >> random failure, the only way to make it green is to *repeatedly* force-push >> until it passes green. > > If there is no change, my git tells me there is nothing to push > > git push -f origin rscala-z > Everything up-to-date > > How do you "force-push"? > > (snip...)
