We had fixed this for filtering pull-requests in https://pagure.io/pagure/pull-request/2815 but we had forgotten about it here.
Signed-off-by: Pierre-Yves Chibon pingou@pingoured.fr
:thumbsup:
Thanks :)
Pull-Request has been merged by pingou
We had fixed this for filtering pull-requests in
https://pagure.io/pagure/pull-request/2815 but we had forgotten about it
here.
Signed-off-by: Pierre-Yves Chibon pingou@pingoured.fr