diff --git a/doc/design/assistant/syncing.mdwn b/doc/design/assistant/syncing.mdwn
index 4f29df9453..8173457c55 100644
--- a/doc/design/assistant/syncing.mdwn
+++ b/doc/design/assistant/syncing.mdwn
@@ -13,6 +13,8 @@ all the other git clones, at both the git level and the key/value level.
    [The watching can be done with the existing inotify code! This avoids needing
    any special mechanism to notify a remote that it's been synced to.]  
    **done**
+1. Periodically retry pushes that failed. Also, detect if a push failed
+   due to not being up-to-date, pull, and repush.
 2. Use a git merge driver that adds both conflicting files,
    so conflicts never break a sync.
 3. Investigate the XMPP approach like dvcs-autosync does, or other ways of