flathub-infra/ansible

Make flat-manager available at repo.flathub.org, not hub.flathub.org

Opened this issue · 0 comments

  • Change GitHub hooks and nginx proxies to the new address
  • Get LE cert for repo