summaryrefslogtreecommitdiff
path: root/doc/todo/Support_for_mirroring_bare_git_repos.mdwn
diff options
context:
space:
mode:
Diffstat (limited to 'doc/todo/Support_for_mirroring_bare_git_repos.mdwn')
-rw-r--r--doc/todo/Support_for_mirroring_bare_git_repos.mdwn2
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/todo/Support_for_mirroring_bare_git_repos.mdwn b/doc/todo/Support_for_mirroring_bare_git_repos.mdwn
new file mode 100644
index 00000000..3c5da097
--- /dev/null
+++ b/doc/todo/Support_for_mirroring_bare_git_repos.mdwn
@@ -0,0 +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).