September 19, 2023 Managing a game dev community with GitHub Actions — fascinating look at the devops infrastructure supporting A Little Game Called Mario, a Godot platformer anyone can contribute to #