Re: [xwiki-devs] [VOTE] Move sources to GitHub