From f1fabccc7a0449afc66b20176a05eada3a5dd581 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Thu, 17 Oct 2019 11:21:24 +0200 Subject: [PATCH 1/1] mention git push --all --- README.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/README.md b/README.md index 4c0f358..6bcf71c 100644 --- a/README.md +++ b/README.md @@ -127,6 +127,10 @@ either gitolite or GitHub will be visible on the other side immediately. This applies even to pull requests that you merge in the GitHub web interface. +The script will only sync branches when they get pushed to. To initialize the +GitHub repository with all the branches that already exist, you can do `git push +--all git@github.com:user/repo`. + ## Source, License You can find the sources in the [git -- 2.30.2