summaryrefslogtreecommitdiff
path: root/doc/todo/Support_for_mirroring_bare_git_repos.mdwn
blob: 3c5da09764b34c9ecfcb8bca0feae5d14a8a89df (plain)
1
2
Since "git pull" has the potential to fail because of merge problems (this is not theoretical, it happened to me today), I'd prefer to just fetch into a bare repo.
I don't know the best way to go about this. Maybe a "Git.fetched" function that does not assume a non-bare repo (as Git.cloned currently does).