Not needed. They already know how to use special repo branches for special things. See e.g. gh-pages and yourproject.wiki.git. They could _trivially_ have yourproject.issues.git etc, except that not doing that gives them a competitive moat making it harder to migrate away.