diff --git a/docs/TODO b/docs/TODO
index 647c9c591..15ef785f0 100644
--- 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