Skip to content

Rename request of 'Simple FTP Server' to 'SimpleFTPServer' #733

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
xreef opened this issue Nov 29, 2021 · 2 comments
Closed

Rename request of 'Simple FTP Server' to 'SimpleFTPServer' #733

xreef opened this issue Nov 29, 2021 · 2 comments
Assignees
Labels
conclusion: resolved Issue was resolved topic: rename Change registered library name

Comments

@xreef
Copy link
Contributor

xreef commented Nov 29, 2021

I've renamed my "Simple FTP Server" library to 'SimpleFTPServer', and would like to update this in the registry.

The repository url is https://github.com/xreef/SimpleFTPServer

The current release has the updated name in library.properties

Thanks!

@per1234 per1234 added the topic: rename Change registered library name label Nov 29, 2021
@per1234
Copy link
Contributor

per1234 commented Nov 29, 2021

Hi @xreef. The requested change is now in progress.

Unlike submissions, this type of request is still handled manually. The Library Manager index maintainer occasionally comes through to clear all the outstanding requests and closes those issues/PRs when that is done. If you are subscribed to this issue/, you'll get a notification at that time.

After that, you can monitor the indexing of the library via its dedicated logs web page.
Information about that here:
https://github.com/arduino/library-registry/blob/main/FAQ.md#can-i-check-on-library-releases-being-added-to-library-manager

@rsora
Copy link
Contributor

rsora commented Dec 17, 2021

Engine maintenance done!

2021/12/17 17:51:47 Loaded 4445 libraries from DB
Removing Simple FTP Server
Success!

@rsora rsora closed this as completed Dec 17, 2021
@per1234 per1234 added the conclusion: resolved Issue was resolved label Dec 21, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
conclusion: resolved Issue was resolved topic: rename Change registered library name
Projects
None yet
Development

No branches or pull requests

4 participants