[devpi-dev] Re: Moved to GitHub