Skip to content

Repository nach Codeberg spiegeln - #51

Merged
Musiker15 merged 1 commit into
mainfrom
codeberg-spiegel
Nov 6, 2026
Merged

Musiker15 merged 1 commit into
mainfrom
codeberg-spiegel

Conversation

@Musiker15

Copy link
Copy Markdown
Member

Spiegelt das Repository nach Codeberg, in die Organisation OpenGewerk. GitHub bleibt die Quelle, auf Codeberg wird nichts gepflegt.

Der Workflow mirror.yml ist derselbe wie in den Repositories von MSK Scripts, die schon seit September nach Codeberg spiegeln:

  • läuft bei jedem Push auf main, bei Tags, beim Löschen eines Zweigs und von Hand
  • pusht alle Zweige und Tags mit --force --prune, was auf Codeberg direkt geändert wird, überschreibt der nächste Lauf
  • meldet sich mit einem Deploy Key an, der nur für dieses eine Repository auf Codeberg Schreibrecht hat, nicht mit einem Schlüssel des Kontos
  • die Host-Schlüssel von Codeberg stehen fest im Workflow statt aus ssh-keyscan

Neu gegenüber den anderen Repositories: persist-credentials: false beim Checkout, das Token von GitHub bleibt damit nicht in der Arbeitskopie liegen. Geholt wird nur aus einem öffentlichen Repository.

Gemergt wird erst, wenn CODEBERG_SSH_KEY und CODEBERG_REPO als Secrets gesetzt sind und der Deploy Key auf Codeberg eingetragen ist, sonst ist der erste Lauf rot.

@Musiker15
Musiker15 merged commit 62ebdd6 into main Nov 6, 2026
5 checks passed
@Musiker15
Musiker15 deleted the codeberg-spiegel branch November 6, 2026 21:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant