remove some old todos

Commands.hs

@@ -36,8 +36,6 @@ cmds =  [
 	  (Command "add"	addCmd		FilesNotInGit)
 	, (Command "get"	getCmd		FilesInGit)
 	, (Command "drop"	dropCmd		FilesInGit)
-	, (Command "push"	pushCmd		RepoName)
-	, (Command "pull"	pullCmd		RepoName)
 	, (Command "unannex"	unannexCmd	FilesInGit)
 	, (Command "describe"	describeCmd	SingleString)
 	, (Command "fix"	fixCmd		FilesInOrNotInGit)
@@ -216,14 +214,6 @@ fixCmd file = notinBackend file err $ \(key, backend) -> do
 				else return ()
 		err = error $ "not annexed " ++ file
 
-{- Pushes all files to a remote repository. -}
-pushCmd :: String -> Annex ()
-pushCmd reponame = do error "not implemented" -- TODO
-
-{- Pulls all files from a remote repository. -}
-pullCmd :: String -> Annex ()
-pullCmd reponame = do error "not implemented" -- TODO
-
 {- Stores description for the repository. -}
 describeCmd :: String -> Annex ()
 describeCmd description = do

LocationLog.hs

@@ -112,7 +112,6 @@ appendLog file line = do
 	createDirectoryIfMissing True (parentDir file)
 	withFileLocked file AppendMode $ \h ->
 		hPutStrLn h $ show line
-		-- TODO git add log
 
 {- Writes a set of lines to a log file -}
 writeLog :: FilePath -> [LogLine] -> IO ()

doc/git-annex.mdwn

@@ -43,10 +43,6 @@ Enough broad picture, here's how it actually looks:
   backend storage to the current repository.
 * `git annex drop $file` indicates that you no longer want the file's
   content to be available in this repository.
-* `git annex push $repository` pushes *all* annexed files to the specified
-  repository.
-* `git annex pull $repository` pulls *all* annexed files from the specified
-  repository.
 * `git annex file $file` adjusts the symlink for the file to point to its
   content again. Use this if you've moved the file around.
 * `git annex unannex $file` undoes a `git annex add`. But use `git annex drop`