Oops, weird typo. I meant ResultDB, not Results.
I guess now I get to figure out how well Pagure copes with amended commits on a PR... :-)
:+1: here!
+1
Seems like Pagure can't handle pull requests against empty repos, so I will just push this commit directly...
Pull-Request has been closed by dcallagh