projects
/
git-mirror.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
5974240
)
mention git push --all
author
Ralf Jung
<post@ralfj.de>
Thu, 17 Oct 2019 09:21:24 +0000
(11:21 +0200)
committer
Ralf Jung
<post@ralfj.de>
Thu, 17 Oct 2019 09:21:24 +0000
(11:21 +0200)
README.md
patch
|
blob
|
history
diff --git
a/README.md
b/README.md
index 4c0f35815fbc2fe8543006354b6e177a6e5f60a3..6bcf71ccb5d39dd455af5a6aa682abc1b7ec2cad 100644
(file)
--- 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