Non-Developers Are Flocking to GitHub: Growing Trend of Non-Coders Joining the Leading Developer Platform 36Kr