Doc difftool

[jnavila]

This is another set of changes to convert the manual pages to synopsis style.

Nothing noteworthy to add, pretty straight-forward.

[jnavila]

/submit

[gitgitgadget]

Submitted as pull.2077.git.1775322767.gitgitgadget@gmail.com

To fetch this version into FETCH_HEAD:

git fetch https://github.com/gitgitgadget/git/ pr-2077/jnavila/doc_difftool-v1

To fetch this version to local tag pr-2077/jnavila/doc_difftool-v1:

git fetch --no-tags https://github.com/gitgitgadget/git/ tag pr-2077/jnavila/doc_difftool-v1

[gitgitgadget]

This patch series was integrated into seen via git@77a7b2a.

[gitgitgadget]

This branch is now known as ja/doc-difftool-synopsis-style.

[gitgitgadget]

This patch series was integrated into seen via git@0f8ebe0.

[gitgitgadget]

This patch series was integrated into seen via git@fa47f87.

[gitgitgadget]

There was a status update in the "Cooking" section about the branch ja/doc-difftool-synopsis-style on the Git mailing list:

Doc mark-up updates.

Will merge to 'next'?
source: <pull.2077.git.1775322767.gitgitgadget@gmail.com>

[gitgitgadget]

This patch series was integrated into seen via git@fdb4409.

[gitgitgadget]

This patch series was integrated into seen via git@4538e1e.

[gitgitgadget]

This patch series was integrated into seen via git@a740abc.

[gitgitgadget]

This patch series was integrated into seen via git@c1247f5.

[gitgitgadget]

This patch series was integrated into seen via git@0e6c98f.

[gitgitgadget]

This patch series was integrated into seen via git@a83f9c6.

[gitgitgadget]

This patch series was integrated into next via git@0e6c98f.

[gitgitgadget]

This patch series was integrated into seen via git@ef29423.

[gitgitgadget]

This patch series was integrated into seen via git@8504661.

[gitgitgadget]

There was a status update in the "Cooking" section about the branch ja/doc-difftool-synopsis-style on the Git mailing list:

Doc mark-up updates.

Will cook in 'next'.
source: <pull.2077.git.1775322767.gitgitgadget@gmail.com>

[gitgitgadget]

This patch series was integrated into seen via git@ba65446.

[gitgitgadget]

This patch series was integrated into seen via git@23c6c30.

[gitgitgadget]

This patch series was integrated into seen via git@e8e70ef.

[gitgitgadget]

This patch series was integrated into seen via git@add4d40.

[gitgitgadget]

This patch series was integrated into seen via git@e4e07d7.

[gitgitgadget]

This patch series was integrated into seen via git@a81715f.

[gitgitgadget]

There was a status update in the "Cooking" section about the branch ja/doc-difftool-synopsis-style on the Git mailing list:

Doc mark-up updates.

Will cook in 'next'.
source: <pull.2077.git.1775322767.gitgitgadget@gmail.com>

[gitgitgadget]

There was a status update in the "Cooking" section about the branch ja/doc-difftool-synopsis-style on the Git mailing list:

Doc mark-up updates.

Will cook in 'next'.
source: <pull.2077.git.1775322767.gitgitgadget@gmail.com>

[gitgitgadget]

This patch series was integrated into seen via git@2104a78.

[gitgitgadget]

There was a status update in the "Cooking" section about the branch ja/doc-difftool-synopsis-style on the Git mailing list:

Doc mark-up updates.

Will merge to 'master'.
source: <pull.2077.git.1775322767.gitgitgadget@gmail.com>

[gitgitgadget]

There was a status update in the "Cooking" section about the branch ja/doc-difftool-synopsis-style on the Git mailing list:

Doc mark-up updates.

Will merge to 'master'.
source: <pull.2077.git.1775322767.gitgitgadget@gmail.com>

[gitgitgadget]

This patch series was integrated into seen via git@131e117.

[gitgitgadget]

This patch series was integrated into seen via git@a290cdb.

[gitgitgadget]

This patch series was integrated into seen via git@4232816.

[gitgitgadget]

There was a status update in the "Cooking" section about the branch ja/doc-difftool-synopsis-style on the Git mailing list:

Doc mark-up updates.

Will merge to 'master'.
source: <pull.2077.git.1775322767.gitgitgadget@gmail.com>

[gitgitgadget]

This patch series was integrated into seen via git@8bddde2.

[gitgitgadget]

This patch series was integrated into seen via git@97565fe.

[gitgitgadget]

This patch series was integrated into seen via git@ead6888.

[gitgitgadget]

This patch series was integrated into master via git@ead6888.

[gitgitgadget]

This patch series was integrated into next via git@ead6888.

[gitgitgadget]

Congratulations! 🎉 Your patch series was merged into upstream via ead6888.

Note: this pull request will show as "Closed" rather than "Merged" because the merge happened in the upstream repository, not on GitHub. This is expected — your contribution has been accepted!