Add sync script #1

Merged
chvp merged 0 commits from sync into trunk 2022-10-06 21:21:33 +00:00
chvp commented 2022-10-06 21:16:41 +00:00 (Migrated from git.zeus.gent)
No description provided.
flynn commented 2022-10-06 21:21:31 +00:00 (Migrated from git.zeus.gent)

approved this merge request

approved this merge request
flynn commented 2022-10-06 21:21:33 +00:00 (Migrated from git.zeus.gent)

mentioned in commit edb25acdd9

mentioned in commit edb25acdd9bb7c27ba61676ba1091ee6573ce23e
flynn (Migrated from git.zeus.gent) approved these changes 2023-11-14 19:48:05 +00:00
Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
1 participant
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: ZeusWPI/codimd-to-gitlab-sync#1
No description provided.