diff options
author | jwansek <eddie.atten.ea29@gmail.com> | 2022-09-18 21:16:34 +0100 |
---|---|---|
committer | jwansek <eddie.atten.ea29@gmail.com> | 2022-09-18 21:16:34 +0100 |
commit | 4582189b157c439e7ff3219b1c9d6224f2eed03b (patch) | |
tree | 4546b3ace4bd8e60ed580e5323c3289d3b6d0cbb /make_repo.py | |
parent | 97325e360e6aaa7e8c473ba435231f4cda4dfdc5 (diff) | |
download | git-scripts-4582189b157c439e7ff3219b1c9d6224f2eed03b.tar.gz git-scripts-4582189b157c439e7ff3219b1c9d6224f2eed03b.zip |
Added to post creation message
Diffstat (limited to 'make_repo.py')
-rwxr-xr-x | make_repo.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/make_repo.py b/make_repo.py index 4ba01d0..ea585c2 100755 --- a/make_repo.py +++ b/make_repo.py @@ -114,6 +114,8 @@ And add github mirror (insecure method, keys are stored locally): git remote add github https://%s:%s@github.com/%s/%s Add a github mirror (secure method using SSH): git remote add github git@github.com:%s/%s +To add a `git pushall` alias to push to all remotes: + git config --global alias.pushall '!git remote | xargs -L1 git push --all' """ % ( repo_url, repo_url, CONFIG.get("github", "user"), CONFIG.get("github", "key"), CONFIG.get("github", "user"), repo_name, CONFIG.get("github", "user"), repo_name |