The git perm allows a user to run $pull and any other Git-related function that might be implemented.
git
$pull
Home
$config $perms $pull $shell
$config
$perms
$shell
ai_cloudflare dbutils docker gemini gitea jokes markov paste szutils tell unixtoys weather
ai_cloudflare
dbutils
docker
gemini
gitea
jokes
markov
paste
szutils
tell
unixtoys
weather
Deleting the wiki page "perms.git" cannot be undone. Continue?