Skip to content

Conversation

strowk
Copy link

@strowk strowk commented Jul 5, 2025

cc: Johannes Schindelin [email protected]

Copy link

gitgitgadget bot commented Jul 5, 2025

Welcome to GitGitGadget

Hi @strowk, and welcome to GitGitGadget, the GitHub App to send patch series to the Git mailing list from GitHub Pull Requests.

Please make sure that either:

  • Your Pull Request has a good description, if it consists of multiple commits, as it will be used as cover letter.
  • Your Pull Request description is empty, if it consists of a single commit, as the commit message should be descriptive enough by itself.

You can CC potential reviewers by adding a footer to the PR description with the following syntax:

CC: Revi Ewer <[email protected]>, Ill Takalook <[email protected]>

NOTE: DO NOT copy/paste your CC list from a previous GGG PR's description,
because it will result in a malformed CC list on the mailing list. See
example.

Also, it is a good idea to review the commit messages one last time, as the Git project expects them in a quite specific form:

  • the lines should not exceed 76 columns,
  • the first line should be like a header and typically start with a prefix like "tests:" or "revisions:" to state which subsystem the change is about, and
  • the commit messages' body should be describing the "why?" of the change.
  • Finally, the commit messages should end in a Signed-off-by: line matching the commits' author.

It is in general a good idea to await the automated test ("Checks") in this Pull Request before contributing the patches, e.g. to avoid trivial issues such as unportable code.

Contributing the patches

Before you can contribute the patches, your GitHub username needs to be added to the list of permitted users. Any already-permitted user can do that, by adding a comment to your PR of the form /allow. A good way to find other contributors is to locate recent pull requests where someone has been /allowed:

Both the person who commented /allow and the PR author are able to /allow you.

An alternative is the channel #git-devel on the Libera Chat IRC network:

<newcontributor> I've just created my first PR, could someone please /allow me? https://github.com/gitgitgadget/git/pull/12345
<veteran> newcontributor: it is done
<newcontributor> thanks!

Once on the list of permitted usernames, you can contribute the patches to the Git mailing list by adding a PR comment /submit.

If you want to see what email(s) would be sent for a /submit request, add a PR comment /preview to have the email(s) sent to you. You must have a public GitHub email address for this. Note that any reviewers CC'd via the list in the PR description will not actually be sent emails.

After you submit, GitGitGadget will respond with another comment that contains the link to the cover letter mail in the Git mailing list archive. Please make sure to monitor the discussion in that thread and to address comments and suggestions (while the comments and suggestions will be mirrored into the PR by GitGitGadget, you will still want to reply via mail).

If you do not want to subscribe to the Git mailing list just to be able to respond to a mail, you can download the mbox from the Git mailing list archive (click the (raw) link), then import it into your mail program. If you use GMail, you can do this via:

curl -g --user "<EMailAddress>:<Password>" \
    --url "imaps://imap.gmail.com/INBOX" -T /path/to/raw.txt

To iterate on your change, i.e. send a revised patch or patch series, you will first want to (force-)push to the same branch. You probably also want to modify your Pull Request description (or title). It is a good idea to summarize the revision by adding something like this to the cover letter (read: by editing the first comment on the PR, i.e. the PR description):

Changes since v1:
- Fixed a typo in the commit message (found by ...)
- Added a code comment to ... as suggested by ...
...

To send a new iteration, just add another PR comment with the contents: /submit.

Need help?

New contributors who want advice are encouraged to join [email protected], where volunteers who regularly contribute to Git are willing to answer newbie questions, give advice, or otherwise provide mentoring to interested contributors. You must join in order to post or view messages, but anyone can join.

You may also be able to find help in real time in the developer IRC channel, #git-devel on Libera Chat. Remember that IRC does not support offline messaging, so if you send someone a private message and log out, they cannot respond to you. The scrollback of #git-devel is archived, though.

@gitgitgadget gitgitgadget bot added the new user label Jul 5, 2025
Documentation for git-merge incorrectly notes that
tip of the current branch on ascii diagram is C
, while it is actually G (current branch is
master, HEAD on diagram is G).

Additionally diagrams on the page are adjusted
to use spaces instead of tabs, so that they align
regardless of tab size. This is in line with
diagrams on other git documentation pages.

Signed-off-by: Timur Sultanaev <[email protected]>
@dscho
Copy link
Member

dscho commented Jul 5, 2025

/allow

Copy link

gitgitgadget bot commented Jul 5, 2025

User strowk is now allowed to use GitGitGadget.

WARNING: strowk has no public email address set on GitHub; GitGitGadget needs an email address to Cc: you on your contribution, so that you receive any feedback on the Git mailing list. Go to https://github.com/settings/profile to make your preferred email public to let GitGitGadget know which email address to use.

@strowk
Copy link
Author

strowk commented Jul 5, 2025

/preview

Copy link

gitgitgadget bot commented Jul 5, 2025

Error: Could not determine full name of strowk

@strowk
Copy link
Author

strowk commented Jul 5, 2025

/preview

Copy link

gitgitgadget bot commented Jul 5, 2025

Preview email sent as [email protected]

@strowk
Copy link
Author

strowk commented Jul 5, 2025

/submit

Copy link

gitgitgadget bot commented Jul 5, 2025

Submitted as [email protected]

To fetch this version into FETCH_HEAD:

git fetch https://github.com/gitgitgadget/git/ pr-1940/strowk/master-v1

To fetch this version to local tag pr-1940/strowk/master-v1:

git fetch --no-tags https://github.com/gitgitgadget/git/ tag pr-1940/strowk/master-v1

Copy link

gitgitgadget bot commented Jul 7, 2025

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

@gitgitgadget gitgitgadget bot added the seen label Jul 7, 2025
Copy link

gitgitgadget bot commented Jul 7, 2025

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

Copy link

gitgitgadget bot commented Jul 8, 2025

This patch series was integrated into seen via git@319d172.

Copy link

gitgitgadget bot commented Jul 8, 2025

This patch series was integrated into next via git@08f4a57.

@gitgitgadget gitgitgadget bot added the next label Jul 8, 2025
Copy link

gitgitgadget bot commented Jul 9, 2025

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

Copy link

gitgitgadget bot commented Jul 9, 2025

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

Copy link

gitgitgadget bot commented Jul 11, 2025

This branch is now known as ts/merge-orig-head-doc-fix.

Copy link

gitgitgadget bot commented Jul 11, 2025

This patch series was integrated into seen via git@52774fa.

Copy link

gitgitgadget bot commented Jul 14, 2025

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

Copy link

gitgitgadget bot commented Jul 14, 2025

This patch series was integrated into master via git@8c5f7db.

Copy link

gitgitgadget bot commented Jul 14, 2025

This patch series was integrated into next via git@8c5f7db.

@gitgitgadget gitgitgadget bot added the master label Jul 14, 2025
@gitgitgadget gitgitgadget bot closed this Jul 14, 2025
Copy link

gitgitgadget bot commented Jul 14, 2025

Closed via 8c5f7db.

Copy link

gitgitgadget bot commented Jul 17, 2025

On the Git mailing list, Johannes Schindelin wrote (reply to this):

Hi Tumur,

On Sat, 5 Jul 2025, Timur Sultanaev via GitGitGadget wrote:

> From: Timur Sultanaev <[email protected]>
> 
> Documentation for git-merge incorrectly notes that
> tip of the current branch on ascii diagram is C
> , while it is actually G (current branch is
> master, HEAD on diagram is G).
> 
> Additionally diagrams on the page are adjusted
> to use spaces instead of tabs, so that they align
> regardless of tab size. This is in line with
> diagrams on other git documentation pages.

To be precise, you could add to the commit message that the faulty
description was introduced in 0c514d576685 (git-merge.txt: mention
'ORIG_HEAD' in the Description, 2023-01-10). (I Cc:ed Philippe Blain who
authored that patch.)

> Signed-off-by: Timur Sultanaev <[email protected]>
> ---
>     Correct mistakes in git-merge documentation
> 
> Published-As: https://github.com/gitgitgadget/git/releases/tag/pr-1940%2Fstrowk%2Fmaster-v1
> Fetch-It-Via: git fetch https://github.com/gitgitgadget/git pr-1940/strowk/master-v1
> Pull-Request: https://github.com/gitgitgadget/git/pull/1940
> 
>  Documentation/git-merge.adoc | 10 +++++-----
>  1 file changed, 5 insertions(+), 5 deletions(-)
> 
> diff --git a/Documentation/git-merge.adoc b/Documentation/git-merge.adoc
> index d53923c3b73..a055384ad69 100644
> --- a/Documentation/git-merge.adoc
> +++ b/Documentation/git-merge.adoc
> @@ -28,8 +28,8 @@ Assume the following history exists and the current branch is
>  `master`:
>  
>  ------------
> -	  A---B---C topic
> -	 /
> +          A---B---C topic
> +         /

This replaces tabs with spaces — though elsewhere in the file, tabs
continue to roam free. The change assumes your pager or editor shares
Git’s long-standing view that tabs are 8 columns wide (a convention with
many loyal followers, even if not universally embraced...). That said,
while correcting the description seemed fairly straight-forward, this
white-space change appears to tread on more delicate territory. It might
deserve its own patch — though I wouldn’t be shocked if it quietly joins
the fate of the dodo.

The same applies to the white-space change at the end of this patch.

>      D---E---F---G master
>  ------------
>  
> @@ -38,11 +38,11 @@ Then `git merge topic` will replay the changes made on the
>  its current commit (`C`) on top of `master`, and record the result
>  in a new commit along with the names of the two parent commits and
>  a log message from the user describing the changes. Before the operation,
> -`ORIG_HEAD` is set to the tip of the current branch (`C`).
> +`ORIG_HEAD` is set to the tip of the current branch (`G`).

This is obviously a good fix.

Ciao,
Johannes

>  
>  ------------
> -	  A---B---C topic
> -	 /         \
> +          A---B---C topic
> +         /         \
>      D---E---F---G---H master
>  ------------
>  
> 
> base-commit: 8b6f19ccfc3aefbd0f22f6b7d56ad6a3fc5e4f37
> -- 
> gitgitgadget
> 
> 

Copy link

gitgitgadget bot commented Jul 17, 2025

User Johannes Schindelin <[email protected]> has been added to the cc: list.

Copy link

gitgitgadget bot commented Jul 17, 2025

On the Git mailing list, Junio C Hamano wrote (reply to this):

Johannes Schindelin <[email protected]> writes:

>> Additionally diagrams on the page are adjusted
>> to use spaces instead of tabs, so that they align
>> regardless of tab size. This is in line with
>> diagrams on other git documentation pages.
>
> To be precise, you could add to the commit message that the faulty
> description was introduced in 0c514d576685 (git-merge.txt: mention
> 'ORIG_HEAD' in the Description, 2023-01-10). (I Cc:ed Philippe Blain who
> authored that patch.)
> ...
>>  ------------
>> -	  A---B---C topic
>> -	 /
>> +          A---B---C topic
>> +         /
>
> ... while correcting the description seemed fairly straight-forward, this
> white-space change appears to tread on more delicate territory. It might
> deserve its own patch
> ...
>> @@ -38,11 +38,11 @@ Then `git merge topic` will replay the changes made on the
>>  its current commit (`C`) on top of `master`, and record the result
>>  in a new commit along with the names of the two parent commits and
>>  a log message from the user describing the changes. Before the operation,
>> -`ORIG_HEAD` is set to the tip of the current branch (`C`).
>> +`ORIG_HEAD` is set to the tip of the current branch (`G`).
>
> This is obviously a good fix.

All comments are good ones for contributors to keep in mind for
their next attempt.

For this particular one, which is already in 'master', there is no
point in polishing and resending the patch, though ;-)

Thanks.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants