From 2bb737e89b4b254daaf89a1896e0b7759dd659aa Mon Sep 17 00:00:00 2001 From: alemi Date: Fri, 12 Jan 2024 09:57:46 +0100 Subject: [PATCH] fix: add fetch-mirrors in help --- help | 1 + 1 file changed, 1 insertion(+) 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"