download from dl.gitea.com instead of github.com (#76046) #3

Merged
tnoel merged 1 commits from wip/76046-download-from-dl.gitea.com into main 2023-03-31 11:25:00 +02:00
Owner
No description provided.
tnoel added 1 commit 2023-03-30 18:26:37 +02:00
gitea/gitea-deb/pipeline/head This commit looks good Details
5546aaa7b9
download from dl.gitea.com instead of github.com (#76046)
gbaffoin approved these changes 2023-03-31 09:27:38 +02:00
gbaffoin left a comment
Owner

vu et validé.

vu et validé.
tnoel merged commit 5546aaa7b9 into main 2023-03-31 11:25:00 +02:00
tnoel deleted branch wip/76046-download-from-dl.gitea.com 2023-03-31 11:25:08 +02:00
Sign in to join this conversation.
No reviewers
No Label
No Milestone
No Assignees
2 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: entrouvert/gitea-deb#3
No description provided.