gitgitgadget / git

GitGitGadget's Git fork. Open Pull Requests here to submit them to the Git mailing list
https://gitgitgadget.github.io/
Other
209 stars 133 forks source link

Doc fixes #1697

Closed jnavila closed 5 months ago

jnavila commented 6 months ago

While translating this session, some translators and I found inconsistencies in the manpages text. The fixes were grouped together in this series.

cc: Taylor Blau me@ttaylorr.com

jnavila commented 6 months ago

/submit

gitgitgadget[bot] commented 6 months ago

Submitted as pull.1697.git.1710602501.gitgitgadget@gmail.com

To fetch this version into FETCH_HEAD:

git fetch https://github.com/gitgitgadget/git/ pr-1697/jnavila/doc_fixes-v1

To fetch this version to local tag pr-1697/jnavila/doc_fixes-v1:

git fetch --no-tags https://github.com/gitgitgadget/git/ tag pr-1697/jnavila/doc_fixes-v1
gitgitgadget[bot] commented 6 months ago

On the Git mailing list, Taylor Blau wrote (reply to this):

On Sat, Mar 16, 2024 at 03:21:39PM +0000, Jean-Noël Avila via GitGitGadget wrote:
> While translating this session, some translators and I found inconsistencies
> in the manpages text. The fixes were grouped together in this series.
>
> Jean-Noël Avila (2):
>   doc: format alternatives in synopsis
>   doc: fix some placeholders formating

Both look great, thanks.

    Acked-by: Taylor Blau <me@ttaylorr.com>

Thanks,
Taylor
gitgitgadget[bot] commented 6 months ago

User Taylor Blau <me@ttaylorr.com> has been added to the cc: list.

gitgitgadget[bot] commented 6 months ago

This branch is now known as ja/doc-formatting-fix.

gitgitgadget[bot] commented 6 months ago

This patch series was integrated into seen via https://github.com/git/git/commit/895b46d1a888be7e5339007f4661b96a14677b19.

gitgitgadget[bot] commented 6 months ago

This patch series was integrated into seen via https://github.com/git/git/commit/9374ad857157fb51e21247404adc8c2f36c5bc58.

gitgitgadget[bot] commented 6 months ago

This patch series was integrated into next via https://github.com/git/git/commit/edde7a576d20dba7f5350b7fe8a4e2f8980f4809.

gitgitgadget[bot] commented 6 months ago

There was a status update in the "New Topics" section about the branch ja/doc-formatting-fix on the Git mailing list:

Documentation mark-up fix.

Will merge to 'master'.
source: <pull.1697.git.1710602501.gitgitgadget@gmail.com>
gitgitgadget[bot] commented 5 months ago

This patch series was integrated into seen via https://github.com/git/git/commit/07371d56696a16f651d28e51bb65c7b02eef8e6a.

gitgitgadget[bot] commented 5 months ago

This patch series was integrated into seen via https://github.com/git/git/commit/590119e04188593a8aa6e29ef7cb1a54b1ee7c83.

gitgitgadget[bot] commented 5 months ago

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

Documentation mark-up fix.

Will merge to 'master'.
source: <pull.1697.git.1710602501.gitgitgadget@gmail.com>
gitgitgadget[bot] commented 5 months ago

This patch series was integrated into seen via https://github.com/git/git/commit/0cb25d17445f848df13b971cb866c63c8f273b01.

gitgitgadget[bot] commented 5 months ago

This patch series was integrated into master via https://github.com/git/git/commit/0cb25d17445f848df13b971cb866c63c8f273b01.

gitgitgadget[bot] commented 5 months ago

This patch series was integrated into next via https://github.com/git/git/commit/0cb25d17445f848df13b971cb866c63c8f273b01.

gitgitgadget[bot] commented 5 months ago

Closed via 0cb25d17445f848df13b971cb866c63c8f273b01.