-
-
Notifications
You must be signed in to change notification settings - Fork 2.2k
Update repositories.txt #308
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
|
Arduino Lint has suggestions for possible improvements to https://github.com/geekbleofficial/Geekble_LieDetector: |
|
Your submission has now been accepted! Thanks for your contribution to the Arduino Library Manager index. The library(s) will be available for installation via Library Manager within a day's time. You can check the logs from the Library Manager indexer for your library(s) here: |
|
Hello @SooDragon. The automated system here only operates on open pull requests. Since your submission was already accepted and the pull request merged, the bot won't pay any more attention to this pull request. But this human is happy to provide assistance. Was there something you needed from the bot? |
|
@per1234 Hi! Thank you for reply!
so I tried mentioning.... I don't know How it happened but it worked Did it worked because I mentioned arduinobot? or is it caused by other reasons? |
No. Your comment didn't accomplish anything at all. The automated system completely ignores merged pull requests. It would be idiotic for us to design a system that forces the library maintainers to comment on a pull request every time they make a new release. The system we designed uses the correct approach of simply checking every library repository periodically, then indexing any new releases that have been made. Please don't mention arduinobot here when you make new releases of the library. It doesn't accomplish anything and it is harmful because I have to monitor every comment in this repository and so if every one of the thousands of library maintainers did that then I would not be able to accomplish any of the important productive work the upon which the Arduino community depends. Just be patient and wait for the system to pick up your new release automagically. It does take a little time for the indexer job to run, and then some additional time after that for the update to propagate through the CDN and the local cache. But it will get there. We give a conservative estimate of availability within one day's time. You can monitor the indexing of the library releases by checking the library's dedicated indexer logs web page: |
No description provided.