Re: [xwiki-devs] [Proposal] Get rid of sonar.xwiki.org?