This is an automated email from the git hooks/post-receive script. mehdi pushed a commit to branch master in repository dh-ocaml.
commit 2169b842a2da8499c6aab4300ff9edd7c39748be Author: Mehdi Dogguy <me...@debian.org> Date: Sun Jan 3 11:48:22 2016 +0100 Minor simplifications in dom-new-git-repo --- tools/dom-new-git-repo | 14 +++----------- 1 file changed, 3 insertions(+), 11 deletions(-) diff --git a/tools/dom-new-git-repo b/tools/dom-new-git-repo index 8858b2c..a3170d9 100755 --- a/tools/dom-new-git-repo +++ b/tools/dom-new-git-repo @@ -26,7 +26,7 @@ REPODIR="/git/pkg-ocaml-maint/packages/$PACKAGE.git" initialize_alioth_repos () { -echo "I: initialize (empty) remote repository on alioth.d.o" +echo "I: initialize (empty) remote repository on git.d.o" # see http://wiki.debian.org/Alioth/Git cat <<EOCMD | ssh $ALIOTH sh umask 002 @@ -61,11 +61,7 @@ EOCMD git_push () { echo "I: pushing first changes to alioth.d.o" - if [ -n "$DOM_ALIOTH_USER" ]; then - git remote add origin "git+ssh://${DOM_ALIOTH_USER}@git.debian.org/$REPODIR" - else - git remote add origin "git+ssh://git.debian.org/$REPODIR" - fi + git remote add origin "git+ssh://$ALIOTH/$REPODIR" git push --all git push --tags } @@ -102,11 +98,7 @@ fi echo "I: all done. You can now checkout your new git repo with:" echo -if [ -n "$DOM_ALIOTH_USER" ]; then - echo " git clone git+ssh://${DOM_ALIOTH_USER}@git.debian.org/$REPODIR" -else - echo " git clone git+ssh://git.debian.org/$REPODIR" -fi +echo " git clone git+ssh://$ALIOTH/$REPODIR" echo echo "I: or, for extra goodies (recommended):" echo -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/dh-ocaml.git _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits