Add code and initial set for koji stg sync krb principals

Signed-off-by: Patrick Uiterwijk <puiterwijk@redhat.com>

playbooks/manual/staging-sync/templates/koji-reset-staging.sql

@@ -153,4 +153,9 @@ insert into user_perms (user_id, perm_id, active, creator_id) values (
     (select id from users where name='{{username}}'));
 {% endfor %}
 
+-- Fix krb principals for some users
+{% for username, principal in [('releng', 'compose/koji.stg.fedoraproject.org'), ('koschei', 'koschei/koschei-backend01.stg.phx2.fedoraproject.org')] %}
+update users set krb_principal='{{principal}}@STG.FEDORAPROJECT.ORG' where username='{{username}}';
+{% endfir %}
+
 VACUUM ANALYZE;