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