diff --git a/Makefile b/Makefile index 7c076e2012a57a17b387a79681739cc4df2f06ba..b05ca6ce473802f11032b09be490d99b6e7dd2df 100644 --- a/Makefile +++ b/Makefile @@ -90,10 +90,10 @@ amend: git commit -a -F log --amend && rm -f src/lv6version.ml push: - git push git+ssh://jahier@scm.forge.imag.fr/var/lib/gforge/chroot/scmrepos/git/lustre/lus2lic.git + git push git+ssh://$(USER)scm.forge.imag.fr/var/lib/gforge/chroot/scmrepos/git/lustre/lus2lic.git pull: - git pull git+ssh://jahier@scm.forge.imag.fr/var/lib/gforge/chroot/scmrepos/git/lustre/lus2lic.git + git pull git+ssh://$(USER)@scm.forge.imag.fr/var/lib/gforge/chroot/scmrepos/git/lustre/lus2lic.git ####################################################################################### # misc