How to get User ID of a user in group

@Auto_forwarder_bot has the feature to filter messages from select users. This means that if you have setup forwarding from a group, you can select messages from which users are forwarded.

Just use `/add_user USERID` where `USERID` is the Telegram user ID of the user you want to add to the filter.

How to get the user ID of a user?

1. Go to the group whose user's ID you want to get.

Let's say that I want to get the encircled person's ID

2. Go to @getidsbot and /start it

3. Go to the group and forward one of that person's messages to this bot

4. Now the bot replies you with a message containing your ID on the top and the person's ID below that.

We are only concerned about the Forwarded from ID. The ID consists only of numbers. This is the user ID we need. Copy it and use it with @Auto_Forwarder_Bot