GitHub

Ontwikkeling

Beheer repo's, PR's en code vanuit gesprek

• Lijst, maak aan en merge pull requests
• Controleer CI-status en herstart workflows
• Directe GitHub API-toegang met jq

Wat u kunt doen

Pull requests — Weergeven, bekijken, aanmaken, samenvoegen en reviewstatus controleren

CI/workflows — GitHub Actions-status controleren, logs bekijken, mislukte workflows opnieuw uitvoeren

Issues — Aanmaken, sluiten, reageren, labelen en issues weergeven

API-query's — Directe GitHub API-toegang met jq-filtering voor alle gegevens

Repository-informatie — Repo's, releases, medewerkers, sterren, forks weergeven

JSON-uitvoer — Alle opdrachten ondersteunen gestructureerde JSON met jq-filtering

Probeer te vragen

"Toon alle open PR's in deze repo"

"Controleer de CI-status voor PR #456"

"Voer mislukte workflows opnieuw uit op main"

"Maak een issue aan voor de inlogtime-outfout"

"Toon alle releases voor deze repository"

"Query de GitHub API voor bijdragerstatistieken"

"Toon samenvoeggereedheid voor de laatste PR"

Pro Tips

JSON-uitvoer + jq-filtering maakt krachtige automatiseringsworkflows mogelijk

Mislukte workflows opnieuw uitvoeren zonder lege commits te pushen

API-query's ontgrendelen alle GitHub-gegevens die niet beschikbaar zijn via standaardobdrachten

Gebruik de GitHub CLI-integratie voor geavanceerde repository-beheertaken

Labelfiltering helpt bij het prioriteren van issues in grote repositories