Skip to content

Conversation

@cakraawijaya
Copy link
Contributor

I want to delete my library topic

@github-actions
Copy link
Contributor

Hi @cakraawijaya.
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 github-actions bot added the topic: removal Remove library from the list label Jan 15, 2025
@github-actions github-actions bot requested a review from per1234 January 15, 2025 08:26
@github-actions
Copy link
Contributor

Hi @cakraawijaya
A problem was found with your pull request:

ERROR: Pull request removes newline from the end of a file.
Please add a blank line to the end of the file.

Please resolve this error. The checks will automatically run again once that is done.

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

@github-actions github-actions bot added topic: invalid Request could not be processed and removed topic: removal Remove library from the list labels Jan 15, 2025
@per1234 per1234 self-assigned this Jan 15, 2025
@per1234 per1234 added conclusion: duplicate Has already been submitted topic: removal Remove library from the list and removed topic: invalid Request could not be processed labels Jan 15, 2025
Copy link
Contributor

@per1234 per1234 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Duplicate of #5781

@cakraawijaya in the future please only create one pull request for each operation.

As was already clearly explained in the comments from the bot, the automated submission system is designed to allow you to trigger additional rounds of checks on the library in the original pull request after fixing problems reported by the bot. So there is no need to create additional pull requests and doing so only makes work for the human maintainer of this busy repository.


⚠ Repeated irresponsible activity may result in the revocation of your Library Manager Registry privileges.


Thanks in advance for your cooperation.

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: removal Remove library from the list

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants