Jakub Narebski [off-list ref] writes:
quoted
Notice two .git directories? That's right.
[...]
quoted
Meta/.git is a separate repository that is a clone of "todo"
branch of git.git repository. The top-level .git repository
does not even have "todo" branch. I just happen to push into
the same public repository git.git at kernel.org from these two
separate repositories.
And top-level .git repository is told to ignore Meta directory?
Yes, I have .git/info/exclude that says something like this:
/.mailmap
*~
/Meta
+*