diff options
-rwxr-xr-x | archrelease | 2 |
1 files changed, 1 insertions, 1 deletions
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 |