assignUser commented on PR #43123: URL: https://github.com/apache/arrow/pull/43123#issuecomment-2452295686
Just for completeness sake: Yes committers can push to PRs from third parties as long as they have set the 'Maintainers are allowed to edit this pull request.' option (which is on by default). Your process here with multiple pings before you took over the PR looks good :+1: -- 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]
