Skip to content

Update name and URL of "MicroTaskX"#8610

Open
per1234 wants to merge 2 commits into
arduino:productionfrom
per1234:update-MicroTaskX
Open

Update name and URL of "MicroTaskX"#8610
per1234 wants to merge 2 commits into
arduino:productionfrom
per1234:update-MicroTaskX

Conversation

@per1234

@per1234 per1234 commented Jun 23, 2026

Copy link
Copy Markdown
Contributor

This PR consists of two changes:

Since the name change operation on the database is actually a removal followed by automated re-indexing on the next job run, the URL update will occur as a matter of course. For this reason, the only operation required from the backend maintainer is a standard name change procedure.

@github-actions

Copy link
Copy Markdown
Contributor

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 github-actions Bot added the topic: other Something other than a library list request label Jun 23, 2026
@per1234 per1234 added topic: URL change Change library repository URL topic: rename Change registered library name status: pending backend Depends on backend maintenance operations and removed topic: other Something other than a library list request labels Jun 23, 2026
@Moaaz-i

This comment was marked as low quality.

@arduino arduino locked as too heated and limited conversation to collaborators Jun 24, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

status: pending backend Depends on backend maintenance operations topic: rename Change registered library name topic: URL change Change library repository URL

2 participants