ci: update wcs git URI for gitea (#76647) #205

Merged
bdauvergne merged 1 commits from wip/76647-wcs-git-uri into main 2023-04-14 15:25:59 +02:00
Owner
No description provided.
fpeters added 1 commit 2023-04-14 14:07:43 +02:00
gitea/passerelle/pipeline/head This commit looks good Details
9dbab1fbc9
ci: update wcs git URI for gitea (#76647)
fpeters changed title from WIP: ci: update wcs git URI for gitea (#76647) to ci: update wcs git URI for gitea (#76647) 2023-04-14 14:41:39 +02:00
bdauvergne approved these changes 2023-04-14 15:25:39 +02:00
bdauvergne left a comment
Owner

C'est vert.

C'est vert.
bdauvergne merged commit 9dbab1fbc9 into main 2023-04-14 15:25:59 +02:00
bdauvergne deleted branch wip/76647-wcs-git-uri 2023-04-14 15:25:59 +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/passerelle#205
No description provided.