Test whether streams-dev alias exists

[DISCUSS] Adopt gitbox

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