pr's themselves already, in my view, are an example of github not playing particularly well amid git. it leave so much want as this thing that is about git, but isn't in git, isn't tracked there, that is purely held by github & not git. it's been convenient but it's bad for growth innovation possibility and coordination.
the agents tab feels so so so crucial, is such the tale of the project. this is enormous interesting helpful stuff. but it's being managed purely by github, is not part of the repo, and that's a huge lost opportunity for all. this feels too far to me!
we see some early work such as the Git AI Standard v3 maybe starting to create some common protocols & systems for using git, for enriching git. on git, in a compatible way. agents tab is technically very cool & so useful, but this is the wrong direction, further entrenching & self-dealing for github, and i am not down for this microsoftization of such a core vital open source system. https://github.com/git-ai-project/git-ai/blob/main/specs/git...