Learn more about these different git repos.
Other Git URLs
9ac3fa7
PR#1380: no notifications in case of deleted tag Merges #1380 https://pagure.io/koji/pull-request/1380 Fixes: #1379 https://pagure.io/koji/issue/1379 tagNotification is broken for deleted tags