Skip to content

Conversation

@ghost
Copy link

@ghost ghost commented Jul 31, 2024

No description provided.

@github-actions github-actions bot requested a review from per1234 July 31, 2024 07:07
@github-actions github-actions bot added the topic: other Something other than a library list request label Jul 31, 2024
@github-actions
Copy link
Contributor

Hi @ERLtech.
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 per1234 added conclusion: duplicate Has already been submitted topic: submission Add library to the list and removed topic: other Something other than a library list request labels Jul 31, 2024
@per1234 per1234 self-assigned this Jul 31, 2024
@per1234 per1234 added topic: URL change Change library repository URL topic: submission Add library to the list and removed topic: submission Add library to the list topic: URL change Change library repository URL labels Jul 31, 2024
@per1234 per1234 mentioned this pull request Jan 14, 2025
This pull request was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

conclusion: duplicate Has already been submitted topic: submission Add library to the list

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant