Ce dépôt contient un fichier `Jenkinsfile` qui peut être utilisé pour construire un paquet Gitea basique contenant le binaire téléchargé depuis https://dl.gitea.com/gitea/
Créer un tag git correspondant au numéro de release de Gitea, par exemple `v1.19.0`. Pousser ce tag et déclencher un build Jenkins en visitant https://jenkins.entrouvert.org/job/gitea/job/gitea-deb/job/main/build?delay=0sec