Exactly.
You completely lost me there. A push (update) is done as a specific user,
who should not be able to write to a _global_ file!
Nevertheless, "24175 calls to git" is sure as hell more expensive than
"reading 24175 files".
Plus, if we integrate the functionality to write .git/info/refs-details
into update-server-info, you can reduce that further: it is no longer
per-branch, but per-repo.
Ciao,
Dscho
-
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html