Arduino: Considere adicionar um novo repositório especificamente para gerenciar a adição (e remoção) de bibliotecas no gerenciador de bibliotecas
Eu sinto que eles estão pegando uma quantidade substancial dos problemas neste repositório e ficando fora de controle para pesquisar problemas reais relacionados ao gerente do conselho. Ou talvez um rótulo add-library-request possa ser adicionado a eles, para que seja possível colocá-lo na lista negra ao fazer pesquisas.
feikname
Todos 3 comentários
Parece um bom plano! Além de desordenar a lista de problemas, eles também causam muito ruído entre as notificações de problemas por e-mail.
Na verdade, talvez a lista de arquivos / bibliotecas de configuração do gerenciador de placa (que eu suponho que exista) possa ser gerenciada no git, para que as pessoas possam até enviar PRs para adicionar bibliotecas?
matthijskooijman
em 30 mai. 2017
*ressalto*
feikname
em 21 jun. 2017
Peço desculpas por enviar ping para vocês aqui, mas não houve resposta oficial desde que criei este problema há 3 meses.
@cmaglie @mastrolinux @agdl @facchinm
feikname
em 1 set. 2017
Questões relacionadas
alx741
·
5Comentários
bcraigie
·
5Comentários
lmihalkovic
·
3Comentários
photodude
·
4Comentários
per1234
·
4Comentários
Comentários muito úteis
Parece um bom plano! Além de desordenar a lista de problemas, eles também causam muito ruído entre as notificações de problemas por e-mail.
Na verdade, talvez a lista de arquivos / bibliotecas de configuração do gerenciador de placa (que eu suponho que exista) possa ser gerenciada no git, para que as pessoas possam até enviar PRs para adicionar bibliotecas?