if you just wanna use it, go
here
PetTheCord
this is a web api for petting any user you know which has avatar
setup
create some discord application
(it is needed for getting discord user's avatar)
and put its token to PETTHECORD_TOKEN env var
or write it to file and create PETTHECORD_TOKEN_FILE
env var with the path of the file with the token.
other help is desribed in the --help
usage
https://example.com/<UserID>.gif
will return you gif of that specified user
to get userid you should enable developer mode in your client
and "copy user id" option
will appear when you do rmb on user