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...)
