infra(forgejo): Projektlinks, Skills und Referenzen auf Forgejo umstellen #128

Closed
opened 2026-05-18 20:29:37 +00:00 by jreinemann-euris · 2 comments
jreinemann-euris commented 2026-05-18 20:29:37 +00:00 (Migrated from github.com)

Ziel

Alle Stellen im Projekt, die auf GitHub verweisen oder GitHub-spezifische Tools/CLI nutzen, auf Forgejo / git.bollwerk.online umstellen.

Voraussetzung

Migration abgeschlossen (→ Ticket: Migration GitHub → Forgejo).

Aufgaben

Skills & Prompts

  • gh-tickets Skill: gh-CLI-Befehle auf tea-CLI (Forgejo) umstellen
  • git Skill: Remote-URLs und Referenzen aktualisieren
  • ship / publish Skill: Pipeline-Referenzen (GitHub Actions → Forgejo Actions oder manuell)
  • vps-deploy Skill: Repo-URL-Referenzen aktualisieren
  • Alle anderen Skills auf GitHub-spezifische Referenzen prüfen

Copilot Instructions & Docs

  • copilot-instructions.md: jreinemann-euris/bollwerk → Forgejo-URL
  • README.md: Badge, Links aktualisieren
  • docs/: GitHub-Referenzen ersetzen

Code / Config

  • build.gradle.kts / settings.gradle.kts: VCS-URL falls vorhanden
  • Android-App: Hardcodierte GitHub-URLs (z.B. Update-Download-Link)

CLI-Tooling

  • tea CLI installieren und konfigurieren (Forgejo API-Token)
  • PowerShell-Skripte in .github/skills/gh-tickets/: gh project-Befehle → tea-Äquivalente oder Forgejo REST-API

Hinweis

gh CLI kann für GitHub-Archive-Zwecke installiert bleiben, sollte aber nicht mehr als primäres Tool verwendet werden.

## Ziel Alle Stellen im Projekt, die auf GitHub verweisen oder GitHub-spezifische Tools/CLI nutzen, auf Forgejo / `git.bollwerk.online` umstellen. ## Voraussetzung Migration abgeschlossen (→ Ticket: Migration GitHub → Forgejo). ## Aufgaben ### Skills & Prompts - [ ] `gh-tickets` Skill: `gh`-CLI-Befehle auf `tea`-CLI (Forgejo) umstellen - [ ] `git` Skill: Remote-URLs und Referenzen aktualisieren - [ ] `ship` / `publish` Skill: Pipeline-Referenzen (GitHub Actions → Forgejo Actions oder manuell) - [ ] `vps-deploy` Skill: Repo-URL-Referenzen aktualisieren - [ ] Alle anderen Skills auf GitHub-spezifische Referenzen prüfen ### Copilot Instructions & Docs - [ ] `copilot-instructions.md`: `jreinemann-euris/bollwerk` → Forgejo-URL - [ ] `README.md`: Badge, Links aktualisieren - [ ] `docs/`: GitHub-Referenzen ersetzen ### Code / Config - [ ] `build.gradle.kts` / `settings.gradle.kts`: VCS-URL falls vorhanden - [ ] Android-App: Hardcodierte GitHub-URLs (z.B. Update-Download-Link) ### CLI-Tooling - [ ] `tea` CLI installieren und konfigurieren (Forgejo API-Token) - [ ] PowerShell-Skripte in `.github/skills/gh-tickets/`: `gh project`-Befehle → `tea`-Äquivalente oder Forgejo REST-API ## Hinweis `gh` CLI kann für GitHub-Archive-Zwecke installiert bleiben, sollte aber nicht mehr als primäres Tool verwendet werden.
bollwerkadmin added the
status:todo
label 2026-05-19 20:37:20 +00:00
bollwerkadmin added
status:in-progress
and removed
status:todo
labels 2026-05-19 20:39:59 +00:00
bollwerkadmin added
status:done
and removed
status:in-progress
labels 2026-05-19 20:41:37 +00:00

Abgeschlossen (2026-05-19)

Durchgef�hrte Aufgaben

  • ? Status-Labels erstellt: status:todo, status:in-progress, status:done, status:backlog
  • ? Bestehende Todo-Issues (#128, #132, #134) mit status:todo gelabelt
  • ? Backlog-Issues (#77, #78, #124) mit status:backlog gelabelt
  • ? next-ticket.ps1 ? Forgejo REST API (status:todo Label statt GitHub Project Board)
  • ? set-board-status.ps1 ? Forgejo Label-API statt gh project
  • ? create-next-ticket.ps1 ? Forgejo REST API statt gh issue create
  • ? SKILL.md aktualisiert (Repository-Referenzen, Konventionen)
  • ? ship/SKILL.md + vps-deploy/SKILL.md GitHub-Referenzen entfernt

Verifikation

  • next-ticket.ps1 gibt korrekt #128 aus
  • set-board-status.ps1 setzt Labels auf Forgejo
  • Forgejo-Token lokal in forgejo-token.txt (gitignored via .git/info/exclude)
## Abgeschlossen (2026-05-19) ### Durchgef�hrte Aufgaben - ? Status-Labels erstellt: status:todo, status:in-progress, status:done, status:backlog - ? Bestehende Todo-Issues (#128, #132, #134) mit status:todo gelabelt - ? Backlog-Issues (#77, #78, #124) mit status:backlog gelabelt - ? next-ticket.ps1 ? Forgejo REST API (status:todo Label statt GitHub Project Board) - ? set-board-status.ps1 ? Forgejo Label-API statt gh project - ? create-next-ticket.ps1 ? Forgejo REST API statt gh issue create - ? SKILL.md aktualisiert (Repository-Referenzen, Konventionen) - ? ship/SKILL.md + vps-deploy/SKILL.md GitHub-Referenzen entfernt ### Verifikation - next-ticket.ps1 gibt korrekt #128 aus - set-board-status.ps1 setzt Labels auf Forgejo - Forgejo-Token lokal in forgejo-token.txt (gitignored via .git/info/exclude)

Abgeschlossen (2026-05-19)

Durchgefuehrte Aufgaben

  • Forgejo Status-Labels erstellt (status:todo / in-progress / done / backlog)
  • Todo-Issues #128, #132, #134 und Backlog-Issues #77, #78, #124 gelabelt
  • next-ticket.ps1 auf Forgejo REST API (status:todo) umgestellt
  • set-board-status.ps1 auf Forgejo Label-API umgestellt
  • create-next-ticket.ps1 auf Forgejo REST API umgestellt
  • SKILL.md, ship/SKILL.md, vps-deploy/SKILL.md aktualisiert
  • Forgejo-Token lokal in forgejo-token.txt (gitignored)
## Abgeschlossen (2026-05-19) ### Durchgefuehrte Aufgaben - Forgejo Status-Labels erstellt (status:todo / in-progress / done / backlog) - Todo-Issues #128, #132, #134 und Backlog-Issues #77, #78, #124 gelabelt - next-ticket.ps1 auf Forgejo REST API (status:todo) umgestellt - set-board-status.ps1 auf Forgejo Label-API umgestellt - create-next-ticket.ps1 auf Forgejo REST API umgestellt - SKILL.md, ship/SKILL.md, vps-deploy/SKILL.md aktualisiert - Forgejo-Token lokal in forgejo-token.txt (gitignored)
Sign in to join this conversation.
No description provided.