scripts: update for new header markup (#83659) #13

Merged
fpeters merged 1 commits from wip/83659-new-header-tags into main 2023-11-17 13:55:09 +01:00
Owner
No description provided.
fpeters added 1 commit 2023-11-17 13:52:57 +01:00
gitea/gitea-eo-custom/pipeline/head This commit looks good Details
f87de5803d
scripts: update for new header markup (#83659)
tnoel approved these changes 2023-11-17 13:54:20 +01:00
fpeters merged commit f87de5803d into main 2023-11-17 13:55:09 +01:00
fpeters deleted branch wip/83659-new-header-tags 2023-11-17 13:55:09 +01: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-eo-custom#13
No description provided.