Files
2026-05-06 15:27:00 +02:00
..
2026-05-06 15:27:00 +02:00
2026-05-06 15:27:00 +02:00

Codex-Version

Dieses Repo enthält unter codex/skills/onyva-login/SKILL.md eine Codex-kompatible Version des bestehenden Claude-Skills.

Lokale Nutzung in Codex

Lege den Skill lokal in deinem Codex-Home unter skills/onyva-login/ ab, sodass dort eine SKILL.md liegt. Wenn du ihn aus diesem Repo kopieren willst:

mkdir -p ~/.codex/skills/onyva-login
cp /home/ruben/PycharmProjects/onyva-login-skill/codex/skills/onyva-login/SKILL.md ~/.codex/skills/onyva-login/SKILL.md

Danach kannst du in Codex z. B. schreiben:

Nutze den Skill onyva-login und integriere den zentralen Login in dieses Projekt.

Upload nach Gitea mit Token

1. Persönlichen Access Token erzeugen

In Gitea:

  1. Profilbild oben rechts öffnen
  2. Settings
  3. Applications
  4. Generate New Token
  5. Einen Namen vergeben, z. B. codex-push
  6. Mindestens repo- bzw. Schreibrechte auf das Ziel-Repository geben
  7. Token direkt kopieren, weil Gitea ihn danach meist nicht mehr vollständig zeigt

2. Remote mit Token setzen

Empfohlen ist ein temporärer Push per HTTPS mit Token:

git remote add gitea https://<USERNAME>:<TOKEN>@gitea.onyva.dev/<ORG>/<REPO>.git

Beispiel:

git remote add gitea https://ruben:DEIN_TOKEN@gitea.onyva.dev/Onyva/onyva-login-skill.git

Falls gitea schon existiert:

git remote set-url gitea https://<USERNAME>:<TOKEN>@gitea.onyva.dev/<ORG>/<REPO>.git

3. Commit und Push

git add codex/README.md codex/skills/onyva-login/SKILL.md
git commit -m "Add Codex version of onyva-login skill"
git push gitea main

4. Token nicht im Remote behalten

Nach dem Push den Remote wieder ohne Token setzen, damit der Token nicht in git remote -v sichtbar bleibt:

git remote set-url gitea https://gitea.onyva.dev/<ORG>/<REPO>.git

Sicherere Alternative mit Credential Helper

Statt den Token in der URL zu speichern:

git remote add gitea https://gitea.onyva.dev/<ORG>/<REPO>.git
git push gitea main

Dann bei der Abfrage:

  • Benutzername: dein Gitea-Username
  • Passwort: dein persönlicher Access Token

Wenn dein System einen Credential Helper nutzt, wird der Token dort gespeichert statt in der Remote-URL.