Change GitHub Account

[NDLABS-Leo]

Organization

NDLABS

Applicaiton Number

https://github.com/filecoin-project/Allocator-Registry/blob/main/Allocators/rectQrKUKIRHJtruf.json

https://github.com/filecoin-project/Allocator-Registry/blob/main/Allocators/recJLPbyTfonp6ovA.json

Updated Github

NDLABS-Leo

Would you like to

Modify an existing Github Handle

Is the Github Account used to file this request is already recorded on the Allocator JSON for your organization?

Yes

Additional Information

In the two JSON files I submitted, the github_handles field is currently formatted as "ND labs - Leo". I would like to update both of them to "NDLABS-Leo".

[NDLABS-Leo]

Hello @Kevin-FF-USA

It’s possible that the JSON file was updated in this Round 6, and as a result, we need to change our GitHub account; otherwise, we won’t be able to proceed with the signing.

Could you please help process it?

Thank you!