b1d0361
tagNotification: user_id is int when get_user is used Fixes: https://pagure.io/koji/issue/3779