doc: git-push: add explanation of `git push origin main`

What happens if you run `git push` without any arguments is actually extremely complex to explain, as discussed in the previous commit. But it's very easy to explain what `git push <remote> <branch>` does, so start the man page by explaining what that does. The hope is that someone could just stop reading the man page here and never learn anything else about `git push`, and that would be fine. Signed-off-by: Julia Evans <julia@jvns.ca> Signed-off-by: Junio C Hamano <gitster@pobox.com>

Julia Evans committed Oct 6, 2025 at 18:58 UTC a72504fe051272227f4097e8d664a9b7d871ec25
1 file changed +4
Documentation/git-push.adoc
+4
@@ -23,6 +23,10 @@ Updates one or more branches, tags, or other references in a remote
23 repository from your local repository, and sends all necessary data
24 that isn't already on the remote.
25
26 +The simplest way to push is `git push <remote> <branch>`.
27 +`git push origin main` will push the local `main` branch to the `main`
28 +branch on the remote named `origin`.
29 +
30 The `<repository>` argument defaults to the upstream for the current branch,
31 or `origin` if there's no configured upstream.
32