biod.pnpi.spb.ru / alexxy / gromacs.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 2db6fff)
Use Git server (mirror) to avoid fetching problems
authorRoland Schulz <roland@utk.edu>
Tue, 21 Feb 2012 04:37:26 +0000 (23:37 -0500)
committerRoland Schulz <roland@utk.edu>
Tue, 21 Feb 2012 12:36:55 +0000 (07:36 -0500)
Change-Id: I144082bd01cf6a5f0583feac0e7877e8e1b163ff

admin/GerritBuild.bat patch | blob | history

diff --git a/admin/GerritBuild.bat b/admin/GerritBuild.bat
index a0601038abd7f80a5f2d6898ee67a39a0c47767b..b942174b8939f990376eafefa3d23ddb7b4596db 100755 (executable)
--- a/admin/GerritBuild.bat
+++ b/admin/GerritBuild.bat
@@ -1,3 +1,3 @@
 mkdir releng
 cd releng
-git init && git fetch ssh://jenkins@gerrit.gromacs.org:29418/releng refs/heads/4.5.0 && git checkout -q -f FETCH_HEAD && cd .. && python -u releng/GerritBuild.py
+git init && git fetch git://git.gromacs.org/releng.git refs/heads/4.5.0 && git checkout -q -f FETCH_HEAD && cd .. && python -u releng/GerritBuild.py
Local GROMACS mirror with custom stuff