How to get Username from user_id

[west creek]

I am trying to migrate a DB, and I have user_ids logged for all users, but i want to add a username field, does anyone know how I could get a discord username from a discord id?

[silk musk]

Hey! Once your issue is solved, press the button below to close this thread!

[bitter hornet]

https://interactions-py.github.io/interactions.py/API Reference/API Reference/Client/#interactions.client.client.Client.fetch_user

[west creek]

is there a way without using asynchronous python?

actually, I can do with async, will just be annoying for me

[bitter hornet]

You can use the requests library. And make the request to discord manually

[west creek]

what would the endpoint be?

[hollow birch]

https://discord.dev

[bitter hornet]

https://discord.com/developers/docs/resources/user#get-user

[west creek]

ohh ok

[bitter hornet]

https://discord.com/api/users/<id>

you need a header with
Authorization: Bot <token>

[west creek]

ok

ty

[west creek]

do you know how many requests i can send per min so i dont get ratelimited?

[bitter hornet]

It is dynamic. I can not give you a set limit. I still do recommend you use the library and async.

[west creek]

ok will do this

found another solution, thanks for the info tho