Romuald TEXIER-MARCADÉ <[email protected]> writes:
> Thank you. How do you wake up the bots without pushing a new head? git commit --amend git push -f my-remote my-branch _______________________________________________ Crosswalk-dev mailing list [email protected] https://lists.crosswalk-project.org/mailman/listinfo/crosswalk-dev
