diff options
| author | John Wiegley <johnw@newartisans.com> | 2009-01-31 06:00:31 -0400 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2009-01-31 06:00:31 -0400 |
| commit | 0bab6e867441c4d9d62b436e0aac48b7dc0096a3 (patch) | |
| tree | 5b1db4106302abc952a454511f52f2f1f2a6ab01 /tools/push | |
| parent | f749a1bb1eb40faa9cac685a02d012a5efb11aaa (diff) | |
| download | fork-ledger-0bab6e867441c4d9d62b436e0aac48b7dc0096a3.tar.gz fork-ledger-0bab6e867441c4d9d62b436e0aac48b7dc0096a3.tar.bz2 fork-ledger-0bab6e867441c4d9d62b436e0aac48b7dc0096a3.zip | |
Added a tools/ subdirectory, with various maintainer related files.
Diffstat (limited to 'tools/push')
| -rwxr-xr-x | tools/push | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/tools/push b/tools/push new file mode 100755 index 00000000..5bb95fb6 --- /dev/null +++ b/tools/push @@ -0,0 +1,11 @@ +#!/bin/sh + +git push origin +git push --tags origin + +git push mirror +git push --tags mirror + +git remote update + +github network fetch |