Documenting pushdefault config option

There seem to be 3 variations of the git push command:

1. Use git push origin branchname and always specify the remote and the branch
2. Use git push -u origin branchname on the first push to set origin as the default and then just use git push
3. Set the pushdefault to origin in .git/config and just use git push

The first method is the one suggested in the devguide
(e.g. in the submitting section); the second is also documented in the pushing changes section; the third is apparently somewhat recent and not yet documented.

The pushdefault is configured by adding to .git/config:

[remote]
    pushdefault = origin

Where origin refers to the user's fork of cpython. AFAICT almost all the pushes should go to origin.

Each method has pros and cons:

First method:

• pros: explicit is better than implicit
• cons: longer to type, harder to remember, could get the arg names/order wrong

Second method:

• pros: still explicit but shorter to type for the following pushes
• cons: same as above but only applies to the first push on each branch

Third method:

• pros: easier to remember, shorter to type, works like hg push
• cons: less explicit

The question is: which one should we adopt as the recommended method?

リンクされている devguide の submitting セクションと pushing changes セクション、および .git/config の pushdefault の例を確認してください。文書化されている3つのワークフローを比較し、ガイドが推奨すべき方法を判断したうえで、その選択と設定を明確にするために関連するドキュメントを更新してください。