GitHub Coordination and Design Principles

Discussion about the use of GitHub for coordination, transitioning from a single maintainer to a group, lore in the game, design principles, game mechanics changes, and setting goals.