Arduino: Please consider adding a new repository specifically for managing addition (and removal) of libraries in the Library manager
I feel like they're taking a substantial amount of the issues in this repository and getting out of hand for searching real issues related to the board manager. Or perhaps a add-library-request label could be added to them, so it'd be possible to blacklist it whilst doing searches.
feikname
👍7
All 3 comments
Sounds like a good plan! In addition to cluttering the issue list, they also cause a lot of noise among the email notififcation of issues.
In fact, perhaps the board manager config file / library list (which I assume exists) can be managed in git, so people can even submit PRs themselves for adding libraries?
matthijskooijman
on 30 May 2017
👍4
*bump*
feikname
on 21 Jun 2017
Apologies for pinging you guys here, but there has been no official reply since I created this issue 3 months ago.
@cmaglie @mastrolinux @agdl @facchinm
feikname
on 1 Sep 2017
Was this page helpful?
0 / 5 - 0 ratings
Related issues
BlueDot-Arduino
·
5Comments
Ojsh
·
4Comments
photodude
·
4Comments
bcraigie
·
5Comments
mathvav
·
4Comments
Most helpful comment
Sounds like a good plan! In addition to cluttering the issue list, they also cause a lot of noise among the email notififcation of issues.
In fact, perhaps the board manager config file / library list (which I assume exists) can be managed in git, so people can even submit PRs themselves for adding libraries?