Fair point. But now you're not using Github for development. If your deploy process involves Github, you actually promoted it to be part of you production/oper

Fair point. But now you're not using Github for development. If your deploy process involves Github, you actually promoted it to be part of you production/operations infrastructure ? That's where the 'wise and mature tech person' comes into play, I guess ;-)