git branches

[Nick Alcock]

On 12 May 2026, Jan Beulich told this:

> Hello,
>
> to limit the volume of stuff that needs fetching, I'm deliberately having
>
> 	fetch = ^refs/heads/users/*
>
> in my .git/config. However, recently an insn-4-byte-align branch has
> appeared at the top level, and a little earlier there also was a new
> upstream/users/nalcock/prev/road-to-ctfv4. Looking at "git branch -a" I'm

That was a push typo for 'upstream users/nalcock/prev...'. My most
sincere apologies. I'll delete it if people want me to (presumably they
do, but it seems wise to ask about things outside-the-namespace even if
I put them there by mistake).

> Could we make it a goal to keep the top level of origin/ tidy, i.e. having
> only the "official" branches there, and have everything else under users/
> (and, if necessary, a limited set of other easy to cover sub-spaces)?

Oh yes please. That was a screwup plain and simple :(

-- 
NULL && (void)