From: Junio C Hamano Date: Tue, 30 Sep 2025 21:01:42 GMT Subject: Re: [PATCH v4 4/5] doc: git-push: clarify "what to push" Message-ID: In-Reply-To: "Julia Evans via GitGitGadget" writes: > +To decide which branches, tags, or other refs to push, Git uses > +(in order of precedence): > + > +1. The `` argument(s) (for example `main` in `git push origin main`) > + or the `--all`, `--mirror`, or `--tags` options > +2. The `remote.*.push` configuration for the repository being pushed to > +3. The `push.default` configuration. The default is `push.default=simple`, > + which will push to a branch with the same name as the current branch. > + See the <> section below for more on `push.default`. > + > +`git push` may fail if you haven't set an upstream for the current branch, > +depending on what `push.default` is set to. > +See the <> section below for more > +on how to set and use upstreams. Reads well, does not tell any lies, and I like it. > @@ -696,7 +698,7 @@ a `git gc` command on the origin repository. > > include::transfer-data-leaks.adoc[] > > -CONFIGURATION > +CONFIGURATION[[CONFIGURATION]] > ------------- Looking at what we have in previous steps (e.g., post context of 1/5, the title of the new section in 2/5), I think you'd need to elongate the underline.