Colin McMillen 2020-03-03 02:20:37 +00:00
parent fb69f0935e
commit 081afda3a7

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