diff options
| author | Arjun Roychowdhury <pliablepixels@gmail.com> | 2015-11-15 10:59:20 -0500 |
|---|---|---|
| committer | Arjun Roychowdhury <pliablepixels@gmail.com> | 2015-11-15 10:59:20 -0500 |
| commit | 3c826510d64ef05e1943b1a567085490610614ce (patch) | |
| tree | 871a78c2202ed52052bb8e2bdc3513cdcefa0bb7 | |
| parent | 3e5edcf39acf4436e35d93a8960e9ed8e81f88fc (diff) | |
fix
Former-commit-id: 702c2632ed58fc71e60cd43c2e300828ba69387c
| -rwxr-xr-x | maketag.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,3 +1,3 @@ #!/bin/sh git tag -a v$1 -m'v$1' -git push origin $1 +git push origin v$1 |