wip changes for remote push - remove notes for done stuff from TODO

[dgit.git] / TODO

diff --git a/TODO b/TODO
index 00d8337a4679448f93912334762d30e40731493d..0df45bd3640eb73850a56084a766f1855dd00136 100644 (file)
--- a/TODO
+++ b/TODO
@@ -1 +1,5 @@
-distro option
+--gpg= etc. @gpg should be in manual
+should pass @gpg to debsign
+--ssh= etc. @ssh should be in manual
+support SSH and DGIT_SSH
+--dgit= etc. @dgit should be in manual