175ecb5
PR#3780: tagNotification: user_id is int when get_user is used Merges #3780 https://pagure.io/koji/pull-request/3780 Fixes: #3779 https://pagure.io/koji/issue/3779 tagNotification: when user_id is not int, it uses dict in user_id