Sometimes rules are poorly written, outdated or straight up mistaken. I doubt the original intent of the rule was to disallow GitHub as a collaboration tool si

Sometimes rules are poorly written, outdated or straight up mistaken. I doubt the original intent of the rule was to disallow GitHub as a collaboration tool since it's the largest coding collaboration tool out there. It's even its primary use case . Interpreting the rule as what it meant to be seems appropriate to me. The world isn't as rigid as you paint it to be. If you were to really code a website without tools capable of generating html from text you'd find yourself coding with pen and paper.