-
-
Notifications
You must be signed in to change notification settings - Fork 1.9k
Update repositories.txt #5678
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
Update repositories.txt #5678
Conversation
Arduino Lint has suggestions for possible improvements to https://github.com/juanmercadin/ReceptorRF:
|
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 @juanmercadin. 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? |
Hi per1234, thank you for offering your help. I’ve made a small update to my library, and I’d like that update to be reflected as version 1.0.2. What should I do to make that happen? Should I open a new pull request?
…________________________________
De: Per Tillisch ***@***.***>
Enviado: lunes, 28 de abril de 2025 22:20
Para: arduino/library-registry ***@***.***>
Cc: juanmercadin ***@***.***>; Mention ***@***.***>
Asunto: Re: [arduino/library-registry] Update repositories.txt (PR #5678)
[https://avatars.githubusercontent.com/u/8572152?s=20&v=4]per1234 left a comment (arduino/library-registry#5678)<#5678 (comment)>
Hello @juanmercadin<https://github.com/juanmercadin>. 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?
—
Reply to this email directly, view it on GitHub<#5678 (comment)>, or unsubscribe<https://github.com/notifications/unsubscribe-auth/BLSYTHX7EN4QHKYQEY4RETD233HV7AVCNFSM6AAAAABULIPZ3WVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDQMZXGE3TENZVGQ>.
You are receiving this because you were mentioned.Message ID: ***@***.***>
|
@ArduinoBot