Hello, I learned this afternoon that infra now supports transitioning to a git setup, gitbox, capable of more native integration with github, including the ability to merge pull requests from within the github UI.
My understanding is we just need to ask to go through this transition. We’d all need to change our origin to the new url, but otherwise there should be no downside to the swap. Does anyone know of a reason not to do this? Or want to express support in favor? Steve
