All references to the issue tracker of Spring projects now lead directly to GitHub. Original pull request: #2130. Closes #2127.