2024-01-12 09:46:11 +01:00
|
|
|
#!/bin/bash
|
|
|
|
echo "Command list:"
|
|
|
|
echo " $ help print this"
|
|
|
|
echo " $ ls list all repositories"
|
|
|
|
echo " $ public list public repositories"
|
|
|
|
echo " $ new <name> create new repo"
|
|
|
|
echo " $ mirror <url> [name] mirror remote repository"
|
|
|
|
echo " $ upstream <name> <url> set repository to push to a given remote"
|
2024-01-12 09:57:46 +01:00
|
|
|
echo " $ fetch-mirrors push and pull all mirrored repositories"
|
2024-01-12 09:46:11 +01:00
|
|
|
echo " $ tree <name> show file tree of repo at HEAD"
|
|
|
|
echo " $ log <name> show commit log of repo"
|
|
|
|
echo " $ head <repo> <name> change default branch of repository"
|
|
|
|
echo " $ descr <repo> <text> change description of repository"
|
|
|
|
echo " $ owner <repo> [owner] set or unset owner for repository"
|
|
|
|
echo " $ group <repo> [group] set or unset group for repository"
|
|
|
|
echo " $ page <repo> [page] set or unset homepage for repository"
|
|
|
|
echo " $ show <repo> make repository public"
|
|
|
|
echo " $ hide <repo> hide public repository"
|