I'd like to remove https://github.com/SSSD/gh-mailinglist-notifications
-- we're not currently using it, but we're rather using Martin Basti's
At the same time, I'd like to add a mirror of
to github in order to follow the same
process for both docs and code. Right now it's quite confusing to have
PRs for code on one place and PRs for docs on another.