G
github-copilot-agent-tips-and-tricks
Tips and Tricks for Working with GitHub Copilot Agent PRs
Installation
Pick a client and clone the repository into its skills directory.
Installation
About this skill
Tips and Tricks for Working with GitHub Copilot Agent PRs
How to use
- Zainstaluj GitHub CLI (gh), jeśli jeszcze go nie masz, i uwierzytelnij się poleceniem gh auth login, podając swoje dane dostępu do GitHub.
- Zidentyfikuj pull requesty Copilota, szukając gałęzi z prefiksem copilot/ — mogą być autoryzowane przez konto app/github-copilot lub przez indywidualnych deweloperów korzystających z Copilota.
- Wyszukaj wszystkie PR-y bota Copilota poleceniem gh pr list --author "app/github-copilot" --state all --limit 100, aby wyświetlić zarówno otwarte, jak i zamknięte pull requesty.
- Filtruj PR-y po gałęziach Copilota poleceniem gh pr list --search "head:copilot/" --state all, aby znaleźć konkretne pull requesty na podstawie prefiksu gałęzi.
- Wyciągnij szczegółowe informacje za pomocą flagi --json, na przykład gh pr list --author "app/github-copilot" --json number,title,author,headRefName,createdAt,state, aby otrzymać dane w formacie JSON.
- Użyj jq do zaawansowanego filtrowania i transformacji wyników — na przykład gh pr list --limit 100 --json author,number,title,headRefName --jq '.[] | select(.headRefName | startswith("copilot/"))' wyświetli tylko PR-y z gałęzi Copilota z wybranymi polami.