From 27de6bea4665129cfe06dc9e09d37820a403df80 Mon Sep 17 00:00:00 2001 From: Fabio Erculiani Date: Tue, 22 Nov 2011 19:32:17 +0100 Subject: [PATCH] [todo] update TODO --- docs/TODO | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) 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