2 Commits

Author	SHA1	Message	Date
per1234	0ca9ab8ee7	Add check for submission URL being a Git repository ... With the current submission system, it's common for people to provide the tag/release URL rather than the repository URL. I think it likely the same sort of thing will occur with the new system. Previously, a very naive check was done for the path component of the URL to have two levels. It turns out that the Gitlab repository URLs have more levels than that. The superior approach is to use `git ls-remote` to verify that the URL is a Git repository.	2021-01-20 00:51:03 -08:00
per1234	050ac29d24	Automate the Library Manager submission process ... Submissions of libraries to the Arduino Library Manager index can be done by submitting a pull request adding repositor URLs to the list. The submissions are checked for compliance wih the requirements for addition to the index and as soon as they are passing the pull request is merged and the entries are pushed to the index source file.	2021-01-19 00:05:38 -08:00