GitHub Repository Management

Rules

Secrets: Do not echo, log, or include any token or secret in output, commands, or file contents. GitHub MCP handles auth.
Destructive actions: Ask for confirmation before
```
git push --force
```
,
```
git branch -D
```
, deleting a repo, or overwriting remote history.
Default branch: Prefer
```
main
```
; use
```
master
```
only when the repo already uses it.
Commits: Use Conventional Commits (e.g.
```
feat:
```
,
```
fix:
```
,
```
docs:
```
).

Run git commands locally (init, add, commit, push, branch, checkout, etc.).
Operate on GitHub via GitHub MCP only: create repos, get repo info, list/create/merge PRs, manage branches. Do not use REST API or GITHUB_TOKEN directly.

When the user asks to "create a repo" or "create a GitHub repository":

Create on GitHub (GitHub MCP only):
- Use GitHub MCP
```
create_repository
```
  (or equivalent) with
```
name
```
  , optional
```
description
```
  ,
```
private
```
  (default from user intent).
Set origin locally (if already in a git repo):
bash
```
git remote add origin https://github.com/<owner>/<repo>.git
```
If
```
origin
```
exists and should point to the new repo, ask before changing it.

If no local repo yet:

bash

git init
git remote add origin https://github.com/<owner>/<repo>.git

First push (after at least one commit):
bash
```
git push -u origin main
```
Use
```
main
```
unless the GitHub repo was created with a different default branch.

When the user asks to "push code" or "push to GitHub":

Ensure git repo exists: Run
```
git status
```
. If not a repo, ask whether to
```
git init
```
and set remote.
Check remote:
```
git remote -v
```
. If no
```
origin
```
, ask for repo URL or create repo first.
Commit cleanly:
- ```
git status
```
  to see changes.
- Stage:
```
git add <paths>
```
  or
```
git add -A
```
  if user intends all changes.
- Commit with a conventional message:
```
git commit -m "type(scope): description"
```
  .
- If there are uncommitted changes and user said "push", offer to commit first; do not force-push without asking.

Push:

git push origin <branch>

. Default branch is

main

. If upstream not set:

git push -u origin main

When the user asks to "get repo info", "repo details", or "show repository":

Identify repo: From
```
git remote get-url origin
```
(owner/repo) or user-provided owner/name.
Fetch via GitHub MCP: Use MCP tools to get repository details (e.g. get repo, list branches, list PRs). Summarize: name, description, default branch, visibility, stars/forks if available, clone URL.

Create branch:

git checkout -b <branch-name>

then push:

git push -u origin <branch-name>

Switch branch:

git checkout <branch>

git switch <branch>

Delete branch: Local
```
git branch -d <branch>
```
; remote delete only after user confirmation:
```
git push origin --delete <branch>
```
.

Open PR: Use GitHub MCP to create a pull request (
```
head
```
,
```
base
```
default
```
main
```
,
```
title
```
,
```
body
```
).
List PRs: Use GitHub MCP to list PRs; summarize by number, title, state, author.
Merge: Use GitHub MCP to merge; confirm with user before merging.

Use this format:

type(scope): short description

Examples: