It turns out the repository is required for a plugin that the project does not use. This commit removes the declaration and adapt CI accordingly. Closes gh-1813
This commit adds support for building and deploying snapshots to repo.spring.io as well as building pull requests. See gh-1809