On Sat, Jul 30, 2022 at 08:18:48PM -0400, Jeff King wrote: > There's also some bits in the sub-thread about limiting HEAD to > "refs/heads/", which we couldn't quite do at the time. That might be > worth revisiting, but definitely shouldn't hold up your patch. Hmph, maybe not. The sticking point was topgit, which points HEAD at refs/top-bases. There's a fork here: https://github.com/mackyle/topgit which has been active in the last 12 months and which still uses that convention. So maybe people really are still using it. (Again, neither here nor there for your patch). -Peff
