18744dd
PR#1872: hub: getUser: default krb_princs value is changed to True Merges #1872 https://pagure.io/koji/pull-request/1872 Fixes: #1822 https://pagure.io/koji/issue/1822 hub: krb_princs of getUser should be True by default