2024-01-12 09:46:11 +01:00
|
|
|
#!/bin/bash
|
|
|
|
echo "Command list:"
|
|
|
|
echo " $ help print this"
|
2024-02-08 20:16:23 +01:00
|
|
|
echo " $ ls list all repositories, marks hidden with [h]"
|
|
|
|
echo " $ new <name> create new repository"
|
2024-01-12 09:46:11 +01:00
|
|
|
echo " $ mirror <url> [name] mirror remote repository"
|
2024-02-08 20:16:23 +01:00
|
|
|
echo " $ upstream <repo> <url> set repository to push to a given remote"
|
2024-02-08 21:48:38 +01:00
|
|
|
echo " $ downstream <repo> <url> set repository to fetch from a given remote"
|
2024-02-08 20:16:23 +01:00
|
|
|
echo " $ sync push and pull all mirrored repositories"
|
|
|
|
echo " $ tree <repo> show file tree of repo at HEAD"
|
|
|
|
echo " $ log <repo> show commit log of repo"
|
2024-01-12 09:46:11 +01:00
|
|
|
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"
|
2024-02-08 20:16:23 +01:00
|
|
|
echo " $ pic <repo> [href] set or unset picture url for repository"
|
2024-01-12 09:46:11 +01:00
|
|
|
echo " $ show <repo> make repository public"
|
|
|
|
echo " $ hide <repo> hide public repository"
|