diff --git a/help b/help index e84af2a..af09c1c 100755 --- a/help +++ b/help @@ -6,6 +6,7 @@ echo " $ public list public repositories" echo " $ new create new repo" echo " $ mirror [name] mirror remote repository" echo " $ upstream set repository to push to a given remote" +echo " $ fetch-mirrors push and pull all mirrored repositories" echo " $ tree show file tree of repo at HEAD" echo " $ log show commit log of repo" echo " $ head change default branch of repository"