Moving existing libraries to a different Github account

Projects Libraries
1

I have a few libraries that are currently registered with Arduino and can be installed from the Library Manager IDE.

I am moving these repos to a different Github account.

Do I just make a request in the Issues tracker at GitHub - arduino/Arduino: Arduino IDE 1.x ?

I don't want to spam the issue tracker if there's a better way to do this.

Clearly, I'll need to update the library.properties file for each of them.

Thanks.

2

GitHub does provide some automatic redirects when you use their system to change your user name, repository name, or transfer the repository to another account.

However, it is a good idea to still make the request on the issue tracker in case the redirect stops working at some time in the future.

sharp5:
Do I just make a request in the Issues tracker at GitHub - arduino/Arduino: Arduino IDE 1.x ?

That's correct. This is done periodically by library authors and there's no problem with it. There is a bit of a delay, since it's a manual process, just so you're aware in advance.

sharp5:
I don't want to spam the issue tracker if there's a better way to do this.

I appreciate your considerate attitude. Thanks!

3

Thanks. That's really helpful :slight_smile:

I'm now working with a larger group so it makes sense to use a single, shared account, rather than lots of individual ones with cross-forks, pulls, etc. But it also means updating my Github client, lots of testing, etc, etc. Fortunately it's only five libs.