Learn more about these different git repos.
Other Git URLs
a7d88a0
Rename the milter service to pagure-milter This makes it easier to identify and is more consistent with how we named our other services.