@ -58,7 +58,7 @@ git remote remove github
* Push code to private and public repositories:
```
git push origin && git push github
git push && git push github
(previously: `git push origin && git push gitlab && tools/copybara/copybara.sh`)