Am Montag, dem 03.01.2022 um 18:14 -0500 schrieb Mark H Weaver: > > > If you are talking specifically about the uncountability of real > > numbers, that'd be quite deep down (as in an uncountability of push > > actions to a particular Git repo, particularly if we also allow > > reinitialization). > > Hmm. I think that the set of push actions to a particular Git repo > is countable, even if we allow reinitialization. What makes you > think that it's uncountable? I'd be very curious to see your > argument for that. I can always add another by force-pushing a tree with a single commit, garbage collecting and then pushing regular commits on top, which should be able to reuse previously existing hashes. Even if not, since we identify a repo by URL, I could ask the forge to delete it and then push a completely reinitialized repo under the same name.
Speaking about destructive operations, there is one course of actions that an upstream could take if they deem 2^160 to be too small an address space, which would be sane for consumers using tags, but insane for those using commits. And that would be squashing all the commits between two tags to a single one, correctly reapplying tags and (force- )pushing the resulting repo. Though again, the blow for commit users might be softened through git vanity this time :) I'm not saying the above should have any impact on what we feed to git- fetch, but it's a fun shower thought. >