We use this repository to host a GitHub issues that contains issues that pertain to Gravitee.io as a whole and not to any specific repository.