diff options
author | Joey Hess <joey@kitenet.net> | 2011-08-16 11:51:41 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2011-08-16 11:51:41 -0400 |
commit | f1f6a9d8876840c6ffd7324f913fae63655a41ae (patch) | |
tree | 57238450a6e963bf81d0264863cb74876530a62c | |
parent | 829ea31b72b1a9c42d770815363ef350ec2bda31 (diff) | |
parent | c3f74c6959cf67ad511dc9b6bed93112c754c247 (diff) |
Merge branch 'master' of ssh://git-annex.branchable.com
-rw-r--r-- | doc/bugs/support_bare_git_repo__44___with_the_annex_directory_exposed_to_http.mdwn | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/doc/bugs/support_bare_git_repo__44___with_the_annex_directory_exposed_to_http.mdwn b/doc/bugs/support_bare_git_repo__44___with_the_annex_directory_exposed_to_http.mdwn new file mode 100644 index 000000000..a2e344c11 --- /dev/null +++ b/doc/bugs/support_bare_git_repo__44___with_the_annex_directory_exposed_to_http.mdwn @@ -0,0 +1,17 @@ +Let's say that http://people.collabora.com/~alsuren/git/fate-suite.git/ is a bare git repo. It has been 'git update-server-info'd so that it can be served on a dumb http server. + +The repo is also a git annex remote, created using the following commands: + +* git remote add alsuren git+ssh://people.collabora.co.uk/user/alsuren/public_html/fate-suite.git +* git push alsuren --all +* git annex copy --to=alsuren + +so http://people.collabora.com/~alsuren/git/fate-suite.git/annex is a valid git annex (though listing dirs is forbidden, so you need to know the filenames ahead of time). + +I would like to be able to use the following commands to get a clone of the repo: + +* git clone http://people.collabora.com/~alsuren/git/fate-suite.git/ +* cd fate-suite +* git annex get + +This would allow contributors to quickly get a copy of our upstream repo and start contributing with minimal bandwidth/effort. |