Re: [sr-dev] Planning to switch committing to github