ParentFull threadTheRealDunkirk·Bingo. This is precisely my point. I think they're going to phase out DevOps and replace it with GitHub in their lineup.View on HN