Nom du dépôt #1
Loading…
Reference in New Issue
Block a user
No description provided.
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Document étant au masculin, le dépôt devrait s'appeler
DocumentsPublics
et nonDocumentsPubliques
Attention que les liens soient maintenus cela dit car le renommage du dépôt peut invalider les remotes précédemment utilisés, ainsi que les liens partagés (sur l'agora des CAE par exemple).
Cela dit j'imagine que
gitea
gère cela via des redirections, à vérifier (comme Gitlab / GitHub & co).Salut Fabien, j'ai renommé le repo (merci).
Gitea effectue correctement la redirection.
Je pense qu'on a partagé un peu trop tôt car il y a certains mécanismes qui sont cassés depuis la migration du dépôt original (https://gitlab.com/astrolabe_cae/skrid-test)
Notamment la partie génération automatique.
Est-ce que tu sais comment ça fonctionne ?
Je n'ai pas accès au gitlab d'Astrolabe, mais je suppose qu'il y avait de l'intégration continue côté gitlab ?
Il n'y avait pas un dossier
.gitlab
à la racine initialement ?Si c'était le cas, il faudrait porter la génération via les gitea actions (https://blog.gitea.io/2022/12/feature-preview-gitea-actions/), qui requièrent de mettre en place des runners (machine dédiée qui executent du code lorsqu'on pousse sur le dépôt.
La feature vient juste de passer en stable au passage https://blog.gitea.io/2023/03/hacking-on-gitea-actions/