[ARROW-16786] [Docs] Update "closed without merge" in pull request note

• Type: Improvement
• Status: Resolved
• Priority: Major
• Resolution: Fixed
• Fix Version/s: 9.0.0
• Component/s: Documentation
• Labels: pull-request-available
• External issue URL: https://github.com/apache/arrow/issues/32119
• Assignee: Alenka Frim
• Reporter: Kouhei Sutou
• Created: 08/Jun/22 01:36
• Updated: 11/Jan/23 11:46
• Resolved: 08/Jun/22 23:27

Description

https://arrow.apache.org/docs/developers/overview.html#pull-request-and-review

A side effect of this way of merging is that your pull request will appear in the GitHub interface to have been “closed without merge”. Do not be alarmed: if you look at the bottom, you will see a message that says @user closed this in $COMMIT. In the commit message of that commit, the merge tool adds the pull request description, a link back to the pull request, and attribution to the contributor and any co-authors.

We have changed to use the "merge" feature of GitHub by ARROW-16602 to show "merged" mark not "closed without merge" mark on GitHub. We should update the note.

alenkaf Do you want to work on this?

Issue Links

• links to: GitHub Pull Request #13341