PR

[maker-zone]

No description provided.

[github-actions]

Hi @maker-zone.
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

[per1234]

This pull request doesn't propose any change at all so I will close it as pointless.

@maker-zone I have to assume you intended to accomplish something other than wasting your time and wasting my time by submitting this, but I don't know what it was. I'm here to help, but I can only do that if you communicate with me as a human.

[maker-zone]

Apologies about that. That PR submission was a mistake.

I was wondering why the libraries didn't appear to be updating in Arduino IDE, and why some weren't showing up, and I was trying everything to trigger a refresh (thinking the automated system should handle it).

Eventually figured out how to view the logs and realised I had to fix up some issues to sort it out.

New to submitting libraries. It did take me a bit to wrap my head around how it works. Working on the project with insufficient sleep didn't help the matter.
Lesson learned.