Update URL of "IoT_Modules-Buttons" in repository list

[per1234]

Resubmission of #3672, which was closed without reason by the library maintainer and could not be reopened due to deletion of the head.

[github-actions]

Hi @per1234.
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/gq97a6/arduino_buttons:

Linting library in arduino_buttons
ERROR: Library name Buttons 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)                                                                                                     
WARNING: library.properties includes field item(s) buttons.h not found in library.                             
         See: https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format
         (Rule LP052)                                                                                          
WARNING: No readme found. Please document your library.                                                                                
         See:                                                                                                                          
         https://docs.github.com/repositories/managing-your-repositorys-settings-and-features/customizing-your-repository/about-readmes
         (Rule LD001)                                                                                                                  
WARNING: No license file found.                                                                                                                 
         See:                                                                                                                                   
         https://docs.github.com/repositories/managing-your-repositorys-settings-and-features/customizing-your-repository/licensing-a-repository
         (Rule LD002)                                                                                                                           

Linter results for project: 1 ERRORS, 3 WARNINGS

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

Linting sketch in arduino_buttons/examples/example

Linter results for project: no errors or warnings

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

Linter results for projects: 1 ERRORS, 3 WARNINGS

[github-actions]

Thanks for your interest in contributing to the Arduino Library Manager index @per1234
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

[per1234]

ERROR: Library name Buttons 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) 

This error is not relevant to the URL change operation so this can be ignored.

Everyone is welcome to submit trivial URL updates, but name change requests can only be made by maintainers of the library. I have made strong efforts to communicate with the library maintainer about this so it is up to them to submit a name change request if they want to fix this problem.

[MatteoPologruto]

Done:

2023/12/06 17:07:11 Loaded 6428 libraries from DB
Changing URL of library IoT_Modules-Buttons from https://github.com/gq97a6/IoT_Modules-Buttons.git to https://github.com/gq97a6/arduino_buttons.git
Success!