I agree and nearly commented about that; it is very concerning & ought be at least in the README.
I was charitably thinking perhaps maybe possibly being a fork doesn't give you access to the full suite of GitHub tools: iirc issues aren't at least by default available? Maybe there's a setting for that.
It felt like a little too big a topic to tackle in my post, so I ommited, but I definitely have concerns! Very weird.
Attribution is not just a problem for LLMs in mathematics!
Tobi is where I first heard the concept: https://github.com/tobi/walgit
And he credits this Cursor post for giving him the ideas and says it's worth reading: https://cursor.com/blog/git-at-any-scale
Note: in related work, the East River Source Control team has posted about their vision for git as well: https://ersc.io/blog/what-comes-after-git