On Tue, Jun 16, 2020 at 10:09:32AM -0400, Jeff King wrote:
> I think with that, we could ditch core.mainBranch entirely, with no
> notion at all of "this branch is special in this repo". We use HEAD
> where appropriate, and otherwise avoid any specialness.
One obvious exception is that third-party tools may want to know the
"special" branch for some reason. But I'm inclined to say that they
should (in this order):
- consider whether they really need a special branch at all, or if the
mechanism can be made more generic
- consider whether HEAD is the best value for a special branch (e.g.,
GitHub pull requests default to targeting HEAD)
- rely on per-tool config for what's special (because it really may
vary between tools, and that's more flexible anyway)
But I'm open to hearing about cases where some tool really wants to know
"what did the user consider the special branch at the time of creation".
-Peff
