Ekstensi Dev Home

Dev Home mendukung ekstensi default dan dibuat khusus. Pelajari selengkapnya tentang ekstensi Dev Home GitHub, cara menyesuaikan widget dan pemberitahuan Git di dasbor Dev Home, dan cara membangun ekstensi Dev Home Anda sendiri.

Ekstensi GitHub saat ini adalah satu-satunya ekstensi yang disertakan dengan Dev Home secara default, namun ekstensi baru sedang dalam pengembangan aktif.

Ekstensi Dev Home GitHub

Ekstensi Dev Home GitHub menyediakan integrasi GitHub ke dalam fitur Dev Home yang ada. Fitur-fitur ini termasuk kemampuan untuk merekomendasikan repositori untuk ditambahkan saat menggunakan Konfigurasi Mesin dan kemampuan untuk menambahkan widget Dev Home yang disesuaikan untuk menampilkan konten GitHub Anda.

Untuk menambahkan ekstensi GitHub, pilih tab Ekstensi di Dev Home, lalu pilih Dapatkan pada ekstensi GitHub dari daftar ekstensi Dev Home Tersedia di Microsoft Store.

Saat masuk ke GitHub menggunakan Ekstensi GitHub Dev Home, kredensial GitHub Anda ditambahkan ke Credential Manager. Ini adalah bagaimana Dev Home dapat mengakses informasi yang relevan dengan akun GitHub Anda. Saat ini DevHome hanya mendukung satu akun GitHub. (Lihat repositori Ekstensi DevHome di GitHub untuk pembaruan tentang menambahkan dukungan untuk beberapa akun.)

Ingin berkontribusi atau mengajukan masalah pada ekstensi ini? Lihat repositori ekstensi GitHub sumber terbuka untuk Dev Home.

Widget Dev Home yang disesuaikan menggunakan ekstensi GitHub

Ekstensi Dev Home GitHub mendukung widget yang dapat disesuaikan dan ditampilkan di dasbor Dev Home. Widget ini dapat menampilkan:

• Masalah yang terkait dengan repositori GitHub tertentu
• Permintaan Pull (PR) yang terkait dengan repositori GitHub tertentu
• Hanya masalah yang ditetapkan untuk Anda dalam repositori GitHub tertentu
• Hanya masalah atau permintaan pull yang telah Anda sebutkan di
• PR yang memiliki permintaan untuk Anda tinjau

Pemberitahuan menggunakan ekstensi Dev Home GitHub

Ekstensi Dev Home GitHub memiliki kemampuan untuk mengirim pemberitahuan Windows berdasarkan peristiwa GitHub. Sampai sekarang, satu-satunya peristiwa pemberitahuan yang didukung adalah ketika pemeriksaan gagal pada permintaan pull yang telah ditulis oleh akun yang masuk ke ekstensi. Pemberitahuan dapat dinonaktifkan dari pengaturan pemberitahuan Windows .

Ekstensi Dev Home Azure

Ekstensi Dev Home Azure menyediakan integrasi Azure DevOps (ADO) ke dasbor Dev Home dan alat konfigurasi mesin . Ekstensi ini menyediakan repositori yang direkomendasikan untuk mengkloning dan juga menambahkan widget ADO untuk kueri dan permintaan pull.

Untuk menambahkan ekstensi Azure, pilih tab Ekstensi di Dev Home, lalu pilih Dapatkan pada ekstensi Azure dari daftar ekstensi Dev Home Tersedia di Microsoft Store.

Jika Anda masuk ke Windows dengan akun kerja Azure, ekstensi akan secara otomatis mendeteksi akun Anda setelah penginstalan.

Ingin berkontribusi atau mengajukan masalah pada ekstensi ini? Lihat repositori ekstensi Azure sumber terbuka untuk Dev Home.

Menyesuaikan widget ekstensi Azure di Dev Home

Ekstensi Dev Home Azure menyediakan widget yang dapat disesuaikan untuk dasbor Dev Home. Tampilan widget ini:

• Hasil kueri
• Kotak kueri dengan menghitung item per kueri
• Permintaan pull untuk repositori ADO tertentu yang dibuat oleh Anda, ditetapkan untuk Anda, atau ditetapkan ke tim Anda

Membangun ekstensi Dev Home kustom Anda sendiri

Jika Anda tertarik untuk membangun ekstensi Anda sendiri untuk digunakan dengan Dev Home, kunjungi repositori Dev Home di GitHub untuk menemukan dokumentasi tentang cara memulai.