Back to skills
extension
Category: Development & EngineeringNo API key required

github

Clone, modify, and push to GitHub repos

personAuthor: jakexiaohubgithub

GitHub Skill

Manage GitHub repositories using git CLI and GITHUB_TOKEN.

Authentication

git clone https://${GITHUB_TOKEN}@github.com/arpowers/bot.git /tmp/bot

CI Failure Workflow

When notified of a CI failure:

  1. Clone the repo
rm -rf /tmp/bot
git clone https://${GITHUB_TOKEN}@github.com/arpowers/bot.git /tmp/bot
cd /tmp/bot
  1. Check the error - Visit the GitHub Actions log URL provided

  2. Fix the issue - Edit files as needed

  3. Commit and push

cd /tmp/bot
git config user.name "Ari Bot"
git config user.email "bot@andrewpowers.com"
git add -A
git commit -m "fix: <description>"
git push

Repos

| Repo | Purpose | |------|---------| | arpowers/bot | This bot's code |