git-annex-4.20131024: doc/todo/pushpull.mdwn
--push/--pull should take a reponame and files, and push those files to that repo; dropping them from the current repo [[done]] (move --from/--to)
--push/--pull should take a reponame and files, and push those files to that repo; dropping them from the current repo [[done]] (move --from/--to)