Deletions are marked like this. | Additions are marked like this. |
Line 22: | Line 22: |
Current method of mirroring (done once at initial setup): | Initial mirror creation (done once at initial setup): |
Line 28: | Line 28: |
$> git annex copy --from=origin | |
Line 29: | Line 30: |
}}} Daily mirroring (daily): {{{ $> git fetch -p origin |
|
Line 33: | Line 39: |
Project Description
We have a git repository for the freesurfer code base stored on out local filesystem. This repository also uses git-annex to store data files associated with the freesurfer package. We are looking for the proper procedure for mirroring this repo on our server so that non-martinos users who are behind the Martinos firewall have access to full freesurfer git repository, including all the git-annex files. It will be a "read only" repository, available via http, ftp. or rsync.
Details
Our current versions of git and git-annex:
$> git --version git version 2.1.4 $> git-annex --version git-annex version: 5.20150710-g8fd7052
Current location of git repo:
/space/freesurfer/repo/freesurfer
Initial mirror creation (done once at initial setup):
$> ssh transfer $> cd /cluster/pubftp/dist/freesurfer/repo $> git clone --mirror /space/freesurfer/repo/freesurfer $> cd freesurfer.git $> git annex copy --from=origin $> git update-server-info
Daily mirroring (daily):
$> git fetch -p origin
We currently have a git and git-annex repository on our local filesystem. For example, lets say the repo is stored in the