[sr-dev] Planning to switch committing to github