github-pr-workflow Skill

Source

• Creator: NousResearch
• Repository: NousResearch/hermes-agent
• Skill file: skills/github/github-pr-workflow/SKILL.md

What it does

GitHub PR lifecycle: branch, commit, open, CI, merge.

Skill instructions

GitHub Pull Request Workflow Complete guide for managing the PR lifecycle. Each section shows the gh way first, then the git + curl fallback for machines without gh. Prerequisites - Authenticated with GitHub (see github-auth skill) - Inside a git repository with a GitHub remote Quick Auth Detection bash Determine which method to use throughout this workflow if command -v gh &/dev/null && gh auth status &/dev/null; then AUTH="gh" else AUTH="git" Ensure we have a token for API calls if [ -z "$GITHUBTOKEN" ]; then if hermesenv="${HERMESHOME:-$HOME/.hermes}/.env"; [ -f "$hermesenv" ] && grep -q "^GITHUBTOKEN=" "$hermesenv"; then GITHUBTOKEN=$(grep "^GITHUBTOKEN=" "$hermesenv" | head -1 | cut -d= -f2 | tr -d '\n\r') elif grep -q "github.com" ~/.git-credentials 2/dev/null; then GITHUBTOKEN=$(grep "github.com" ~/.git-credentials 2/dev/null | head -1 | sed 's|https://[^:]:([^@])@.|\1|') fi fi fi echo "Using: $AUTH" Extracting Owner/Repo from the Git Remote Many curl commands need owner/repo.