[Developer-portal] Fedora Developer Portal release