git branches

[Jan Beulich]

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
also observing quite a few more such branches which apparently weren't
touched in a long time.

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)?

Thanks, Jan