We use this repository to host a GitHub issues that contains issues that pertain to Vert.x 3 as a whole and not to any specific repository.
If the issue is specific to a repository please use the GitHub issues in that repository instead.