streams-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From sblackmon <>
Subject [DISCUSS] Adopt gitbox
Date Tue, 16 May 2017 18:40:01 GMT

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?


  • Unnamed multipart/alternative (inline, None, 0 bytes)
View raw message