- •
Branch pushen (falls noch nicht gepusht):
bashgit push -u origin HEAD
- •
Pull Request erstellen:
- •Verwende IMMER
--repoFlag - •Erstelle eine aussagekräftigen Title und PR-Beschreibung basierend auf den Commits
bashgh pr create --repo !`git remote get-url origin` --title "Titel" --body "Beschreibung"
- •Verwende IMMER
- •
PR-URL ausgeben: Zeige dem Nutzer die URL des erstellten PRs.
</instructions>
pr
创建Pull Request。
SKILL.md
--- frontmattername: pr description: Erstellt einen Pull Request. argument-hint: "[optionaler PR-Titel]" allowed-tools: Bash(git remote get-url origin), Bash(git branch --show-current), Bash(git status --short), Bash(git log --oneline main..HEAD)