jorisvandenbossche opened a new issue, #33863:
URL: https://github.com/apache/arrow/issues/33863
### Describe the enhancement requested
It's maybe two separate changes, but:
- The PR workflow both updates the first comment to add a "Closes .." and
adds a comment with the same text. I think just updating the top comment is
sufficient (the notification from the extra comment isn't useful, and for the
rest both updates have the same content).
- On the other hand, what I personally would find useful is that we add a
comment to the issue instead that says something like "A PR was opened that
would close this issue: ...".
If you are subscribed to an issue, you can miss that there is a PR for it
until that PR gets merged / the issue closed (on JIRA, you got such a
notification)
### Component(s)
Developer Tools
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: [email protected]
For queries about this service, please contact Infrastructure at:
[email protected]
