download from dl.gitea.com instead of github.com (#76046)
gitea/gitea-deb/pipeline/head This commit looks good Details

This commit is contained in:
Thomas NOËL 2023-03-30 18:25:12 +02:00
parent 4c07e5589c
commit 5546aaa7b9
2 changed files with 3 additions and 3 deletions

View File

@ -1,6 +1,6 @@
# Paquet debian semi-automatique pour serveur Gitea
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://github.com/go-gitea/gitea/releases.
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/
## Utilisation
@ -12,4 +12,4 @@ Pour déployer ce paquet :
ssh git.entrouvert.org
sudo apt update
sudo apt install --only-upgrade gitea
```
```

View File

@ -18,7 +18,7 @@ elif os.path.exists('VERSION'):
version = '.'.join(version.split('.')[:3])
url = f'https://github.com/go-gitea/gitea/releases/download/v{version}/gitea-{version}-linux-amd64.xz'
url = f'https://dl.gitea.com/gitea/{version}/gitea-{version}-linux-amd64.xz'
print('downloading', url)
r = requests.get(url)
if not r.ok: