Menu
Public repository / 9b227aaaf72c1a75fca3639c9c46acf437838cb2
AkurAI-Build / scripts
Latest change 9b227aaaf72c1a75fca3639c9c46acf437838cb2 - Add repo remove: unregister a repository and delete its hosted mirror by Ólafur Búi Ólafsson
| Name | Kind | Size | Latest commit |
|---|---|---|---|
| configure-app-mcp.py | blob | 2256 | Host authenticated Git repositories over Smart HTTP with repo host/sync CLI |
| provision-app-oidc.py | blob | 4440 | Host authenticated Git repositories over Smart HTTP with repo host/sync CLI |
| provision-oidc-client.sh | blob | 3068 | Host authenticated Git repositories over Smart HTTP with repo host/sync CLI |