Skip to content

ci: mirror repo to Codeberg on push to main - #7

Merged
stevenkop-g merged 1 commit into
mainfrom
chore/codeberg-mirror
Jul 12, 2026
Merged

ci: mirror repo to Codeberg on push to main#7
stevenkop-g merged 1 commit into
mainfrom
chore/codeberg-mirror

ci: mirror repo to Codeberg on push to main

553125c
Select commit
Loading
Failed to load commit list.