Github Org "edufeed-org" spiegeln #343

Closed
opened 2025-05-13 13:56:34 +00:00 by sicking · 7 comments
Owner

Idee ist, den Code der Org "edufeed-org" nach opencode (gitlab) und unserem git (forgejo) zu spiegeln.

Idee ist, den Code der Org "[edufeed-org](https://github.com/edufeed-org)" nach [opencode](https://gitlab.opencode.de/) (gitlab) und unserem git (forgejo) zu spiegeln.
sicking added the
technik
label 2025-05-13 13:56:34 +00:00
Owner

Ich habe manuell https://git.rpi-virtuell.de/edufeed-org angelegt und dich zum Admin gemacht, @sicking.
Außerdem die aktuell 13 Repos gespiegelt und das automatische Update auf 8h Intervall eingestellt.

Ich habe manuell https://git.rpi-virtuell.de/edufeed-org angelegt und dich zum Admin gemacht, @sicking. Außerdem die aktuell 13 Repos gespiegelt und das automatische Update auf 8h Intervall eingestellt.
Author
Owner

Schließen oder noch einen Versuch nach opencode starten?

Wollen wir auch "spiegeln" um an anderen Stellen auf Edufeed aufmerksam zu machen?

Schließen oder noch einen Versuch nach opencode starten? Wollen wir auch "spiegeln" um an anderen Stellen auf Edufeed aufmerksam zu machen?
Author
Owner

Ich habe manuell https://git.rpi-virtuell.de/edufeed-org angelegt und dich zum Admin gemacht, @sicking.
Außerdem die aktuell 13 Repos gespiegelt und das automatische Update auf 8h Intervall eingestellt.

Was war dafür zu tun?
Wie hast du die Repos gespiegelt? Wo das automatische Update eingestellt?

> Ich habe manuell https://git.rpi-virtuell.de/edufeed-org angelegt und dich zum Admin gemacht, @sicking. > Außerdem die aktuell 13 Repos gespiegelt und das automatische Update auf 8h Intervall eingestellt. Was war dafür zu tun? Wie hast du die Repos gespiegelt? Wo das automatische Update eingestellt?
Owner

Man klickt in der "edufeed-org" Organisation auf "Neue Migration", dann auf "github", setzt dann die Klon-URL von github ein und setzt bei Migrationsoptionen ein ✔️ bei "Dieses Repository wirds ein Spiegel sein" und achtet darauf, dass bei Sichtbarkeit der ☑️ entfernt wird bei "In privates Repository umwandeln". In den jeweiligen Settings der Repos ist dann automatisch in den Spiegeleinstellungen das Spiegelintervall auf "8h0m0s" eingestellt (Minimales Intervall: 10m0s)

Man klickt in der "edufeed-org" Organisation auf "Neue Migration", dann auf "github", setzt dann die Klon-URL von github ein und setzt bei Migrationsoptionen ein ✔️ bei "Dieses Repository wirds ein Spiegel sein" und achtet darauf, dass bei Sichtbarkeit der ☑️ entfernt wird bei "In privates Repository umwandeln". In den jeweiligen Settings der Repos ist dann automatisch in den Spiegeleinstellungen das Spiegelintervall auf "8h0m0s" eingestellt (Minimales Intervall: 10m0s)
Author
Owner

Danke.

Also ohne "Access token"?

Danke. Also ohne "Access token"?
Owner

Ja, ohne Token, denn es sind ja öffentliche Repos und wir kopieren Aktualisierungen nur in unsere Richtung. Arbeitsort bleibt erstmal github, wenn ich das richtig verstanden habe.

Ja, ohne Token, denn es sind ja öffentliche Repos und wir kopieren Aktualisierungen nur in unsere Richtung. Arbeitsort bleibt erstmal github, wenn ich das richtig verstanden habe.
Author
Owner

Ja, Github haben wir als Arbeitsort festgelegt.

Ja, Github haben wir als Arbeitsort festgelegt.
Sign in to join this conversation.
No milestone
No project
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: Comenius-Institut/FOERBICO_und_rpi-virtuell#343
No description provided.