Ketahui repositorimu
Menampilkan repositori yang paling baru diperbarui - publik maupun privat - beserta deskripsi dan tautan.
github_list_repos
Hubungkan GitHub dan Magnus menjadi asisten proyek yang ringan: dia tahu repositorimu, membaca isu yang terbuka, dan membuat isu yang tertulis dengan baik agar ide dari percakapan mendarat di pelacakmu, bukan terbuang begitu saja.
Menampilkan repositori yang paling baru diperbarui - publik maupun privat - beserta deskripsi dan tautan.
github_list_repos
Menampilkan isu yang terbuka (atau yang sudah ditutup, atau semua) untuk repositori mana saja yang bisa kamu akses, difilter agar pull request tidak mengacaukan jawabannya.
github_list_issues
Membuat isu baru dengan judul dan isi markdown di repositori yang kamu sebutkan. Jelaskan bugnya dalam percakapan; Magnus akan menuliskannya dengan baik.
github_create_issue
Apakah Magnus bisa melihat repositori privat?
Magnus melihat apa yang bisa dilihat akun GitHub kamu, menggunakan token OAuth milikmu sendiri. Tidak ada yang dibagikan ke pengguna lain, dan memutuskan koneksi akan menghapus token.
Apakah Magnus bisa merge atau push kode?
Tidak. Alat GitHub sengaja dibatasi untuk menampilkan repositori dan membaca/membuat isu - tidak ada akses tulis di tingkat kode.