Re: [SR-Users] [sr-dev] RFC: infrastructure upgrade - git, tracker, ...