Skip to content

Conversation

@dvarrel
Copy link
Contributor

@dvarrel dvarrel commented Nov 9, 2022

No description provided.

@github-actions github-actions bot added the topic: submission Add library to the list label Nov 9, 2022
@github-actions github-actions bot merged commit c36b4b0 into arduino:main Nov 9, 2022
@github-actions
Copy link
Contributor

github-actions bot commented Nov 9, 2022

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:
http://downloads.arduino.cc/libraries/logs/github.com/dvarrel/DHT22/

github-actions bot pushed a commit that referenced this pull request Nov 9, 2022
@dvarrel
Copy link
Contributor Author

dvarrel commented Dec 8, 2022

@ArduinoBot

@per1234
Copy link
Contributor

per1234 commented Dec 10, 2022

Hello @dvarrel . 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?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

topic: submission Add library to the list

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants