[todo] update TODO

2011-11-22 19:32:17 +01:00
parent e46999556a
commit 27de6bea46
1 changed files with 1 additions and 2 deletions
--- a/docs/TODO
+++ b/docs/TODO
@@ -6,8 +6,7 @@ Backlog (raw)
        - if local repo < remote repo, repo should be downloaded first
          then packages.
        - do not use implicit pull when push is selected, block push if
-          local repo is older than remote, implement some kind of atomic
-          remote locking to guarantee mutual exclusion.
+          local repo is older than remote.
        - or simply: pull cmd == do not push; push cmd == do not pull

    - rework client/ code, as done with eit