Current website PR merge script is outdated [1] and should either be
updated or replaced with merging with the button process.
I've come across this issue when merging website changes  related to Jira
-> GitHub migration  [2] and had to use the merge button.

As things stand now we'll eventually update the merge script, but we could
also decide to use the button. Thoughts?

[1] https://github.com/apache/arrow-site/issues/285
[2] https://github.com/apache/arrow-site/pull/286

Rok

Reply via email to