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

Commits

Commits on Jul 12, 2026