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