89e443ab18
Nuevas funciones bash: gestión Gitea (create_repo, list_repos, add_collaborator, push_directory), install_android_sdk, install_mantine, frontend_doctor. Pipelines: capacitor_build_apk y gitea_init_app. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
2.3 KiB
2.3 KiB
name, kind, lang, domain, version, purity, signature, description, tags, uses_functions, uses_types, returns, returns_optional, error_type, imports, params, output, tested, tests, test_file_path, file_path
| name | kind | lang | domain | version | purity | signature | description | tags | uses_functions | uses_types | returns | returns_optional | error_type | imports | params | output | tested | tests | test_file_path | file_path | |||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| gitea_init_app | pipeline | bash | pipelines | 1.0.0 | impure | gitea_init_app(directory: string, owner: string, name: string, private: string) -> string | Pipeline que crea un repositorio en Gitea, sube el directorio local y añade a egutierrez como colaborador admin. Compone gitea_create_repo → gitea_push_directory → gitea_add_collaborator. |
|
|
false | error_go_core |
|
URL del repositorio creado en Gitea | false | bash/functions/pipelines/gitea_init_app.sh |
Ejemplo
export GITEA_URL="$(pass agentes/gitea-url)"
export GITEA_TOKEN="$(pass agentes/dataforge-token)"
# Crear repo con nombre inferido del directorio
bash bash/functions/pipelines/gitea_init_app.sh /home/lucas/myapp myorg
# Nombre explícito y repo privado
bash bash/functions/pipelines/gitea_init_app.sh /home/lucas/myapp myorg my-custom-name true
# Con flags
bash bash/functions/pipelines/gitea_init_app.sh \
--directory /home/lucas/myapp \
--owner myorg \
--name my-app \
--private true
Pasos del pipeline
gitea_create_repo owner name private— crea el repo (idempotente si ya existe)gitea_push_directory directory owner repo— inicializa git y hace push del directoriogitea_add_collaborator owner repo egutierrez admin— añade colaborador con permisos admin
Notas
- Requiere
GITEA_URLyGITEA_TOKENseteadas. - Si el repo ya existe (409), el pipeline continúa con el push y añade el colaborador.
- El colaborador
egutierrezes fijo en el pipeline — para variarlo usar las funciones individuales. - La URL del repo se imprime a stdout al finalizar.