You are viewing a plain text version of this content. The canonical link for it is here.
Posted to issues@arrow.apache.org by "Raúl Cumplido (Jira)" <ji...@apache.org> on 2022/08/01 14:05:00 UTC
[jira] [Created] (ARROW-17271) [WEBSITE][DEV] Update merge_pr script on arrow-site repository to use new github workflow
Raúl Cumplido created ARROW-17271:
-------------------------------------
Summary: [WEBSITE][DEV] Update merge_pr script on arrow-site repository to use new github workflow
Key: ARROW-17271
URL: https://issues.apache.org/jira/browse/ARROW-17271
Project: Apache Arrow
Issue Type: Improvement
Components: Developer Tools, Website
Reporter: Raúl Cumplido
The merge_pr script on the arrow-site repository is still using the old merge workflow. Closing PRs and not using the GITHUB_TOKEN.
We probably should update the script to use the same workflow we use on the main arrow repository.
This was raised when merging this PR [https://github.com/apache/arrow-site/pull/225]
--
This message was sent by Atlassian Jira
(v8.20.10#820010)