Arduino: Harap pertimbangkan untuk menambahkan repositori baru khusus untuk mengelola penambahan (dan penghapusan) perpustakaan di manajer Perpustakaan
Saya merasa mereka mengambil sejumlah besar masalah dalam repositori ini dan keluar dari kendali untuk mencari masalah nyata yang terkait dengan manajer dewan. Atau mungkin label add-library-request dapat ditambahkan ke mereka, sehingga memungkinkan untuk memasukkannya ke daftar hitam saat melakukan pencarian.
feikname
Semua 3 komentar
Kedengarannya seperti rencana yang bagus! Selain mengacaukan daftar masalah, mereka juga menyebabkan banyak kebisingan di antara pemberitahuan email tentang masalah.
Faktanya, mungkin file konfigurasi / daftar pustaka manajer papan (yang saya asumsikan ada) dapat dikelola di git, sehingga orang bahkan dapat mengirimkan PR sendiri untuk menambahkan pustaka?
matthijskooijman
pada 30 Mei 2017
*menabrak*
feikname
pada 21 Jun 2017
Maaf telah melakukan ping kepada kalian di sini, tetapi belum ada balasan resmi sejak saya membuat masalah ini 3 bulan yang lalu.
@cmaglie @mastrolinux @agdl @facchinm
feikname
pada 1 Sep 2017
Masalah terkait
alx741
·
5Komentar
I-like-stuff
·
4Komentar
alexandru-cohal
·
3Komentar
dynek
·
3Komentar
Ojsh
·
4Komentar
Komentar yang paling membantu
Kedengarannya seperti rencana yang bagus! Selain mengacaukan daftar masalah, mereka juga menyebabkan banyak kebisingan di antara pemberitahuan email tentang masalah.
Faktanya, mungkin file konfigurasi / daftar pustaka manajer papan (yang saya asumsikan ada) dapat dikelola di git, sehingga orang bahkan dapat mengirimkan PR sendiri untuk menambahkan pustaka?