index : devtools32 | |
Archlinux32 fork of devtools | gitolite user |
summaryrefslogtreecommitdiff |
-rwxr-xr-x | archrelease | 2 |
diff --git a/archrelease b/archrelease index 59b85ec..57dc941 100755 --- a/archrelease +++ b/archrelease @@ -7,7 +7,7 @@ fi if [ ! -d ../repos/$1 ]; then pushd .. - svn copy trunk repos/$1 + svn copy -r HEAD trunk repos/$1 svn commit -m "archrelease: new repo $1" popd else |