add: DigitalButton

[hidori]

Add DigitalButton library

https://github.com/hidori/DigitalButton

[Copilot]

Copilot wasn't able to review any files in this pull request.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[github-actions]

A problem was found with your submission https://github.com/BojanJurca/Lightweight-Standard-Template-Library-STL-for-Arduino

❌ ERROR: Submission URL is already in the Library Manager index.

[github-actions]

Hi @hidori.
Your pull request has been detected as something other than a Library Manager submission.
A maintainer will need to review it before it can be merged.

If you intended to submit a library, please check the instructions and update your pull request if necessary:
https://github.com/arduino/library-registry/blob/main/README.md#instructions

[github-actions]

❌ ERROR: Arduino Lint found errors with https://github.com/hidori/DigitalButton:

Linting library in DigitalButton
ERROR: Library name DigitalButton not found in the Library Manager index. Library names are not allowed to change after 
       being added to the index.                                                                                        
       See: https://github.com/arduino/library-registry/blob/main/FAQ.md#how-can-i-change-a-librarys-name               
       (Rule LP018)                                                                                                     

Linter results for project: 1 ERRORS, 0 WARNINGS

-------------------

Linting sketch in DigitalButton/examples/Basic

Linter results for project: no errors or warnings

-------------------

Linting sketch in DigitalButton/examples/CustomTiming

Linter results for project: no errors or warnings

-------------------

Linting sketch in DigitalButton/examples/ExternalPullDown

Linter results for project: no errors or warnings

-------------------

Linting sketch in DigitalButton/examples/MultipleButtons

Linter results for project: no errors or warnings

-------------------

Linter results for projects: 1 ERRORS, 0 WARNINGS

[github-actions]

Thanks for your interest in contributing to the Arduino Library Manager index @hidori
Please resolve the error(s) mentioned in the previous comment.

After resolving the issue, trigger this check again by doing one of the following:

• Commit the required change to the branch you submitted this pull request from.
• Comment here, mentioning @ArduinoBot in the comment.

❗ NOTE: It is not necessary to open a new pull request. ❗

More information:
https://github.com/arduino/library-registry/blob/main/README.md#if-the-problem-is-with-the-pull-request

[github-actions]

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/hidori/DigitalButton/