> AFAIK, gihub is being proposed for editing documents, to to work on code. As such, I'm not sure it makes much of a difference. This is not correct. There are WG's that want to use GitHub, and we have documented good ways to do so.
> AFAIK, gihub is being proposed for editing documents, to to work on code. As such, I'm not sure it makes much of a difference. This is not correct. There are WG's that want to use GitHub, and we have documented good ways to do so.