I suspect all the good devops engineers left when GitHub was acquired by Microsoft. They got their pay day and living on a beach somewhere.