diff options
author | Joey Hess <joeyh@joeyh.name> | 2015-02-09 18:45:46 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2015-02-09 18:45:46 -0400 |
commit | efa45425f70b8bc67971c9578486bf37749f21f8 (patch) | |
tree | 0db618d8829de7ce7aa7a58c8dcc57f4eb6ed2ad | |
parent | 02a3743f37eb417b90da0109a09c9f1e2f773f21 (diff) |
comment
-rw-r--r-- | doc/bugs/git-annex_branch_shows_commit_with_looong_commitlog/comment_7_fc56ec87725c7427794b70ee2ba2822a._comment | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/doc/bugs/git-annex_branch_shows_commit_with_looong_commitlog/comment_7_fc56ec87725c7427794b70ee2ba2822a._comment b/doc/bugs/git-annex_branch_shows_commit_with_looong_commitlog/comment_7_fc56ec87725c7427794b70ee2ba2822a._comment new file mode 100644 index 000000000..cd7510140 --- /dev/null +++ b/doc/bugs/git-annex_branch_shows_commit_with_looong_commitlog/comment_7_fc56ec87725c7427794b70ee2ba2822a._comment @@ -0,0 +1,12 @@ +[[!comment format=mdwn + username="joey" + subject="""comment 7""" + date="2015-02-09T22:44:50Z" + content=""" +The only other thing I can think to do about this is to make git-annex block +direct pushes to the git-annex branch, by setting up a pre-receive hook. + +Then, there should be no way for the race to occur +(except for a locking failure, or a pull into the branch?), +and git-annex wouldn't need to check for it +"""]] |