jorisvandenbossche commented on PR #212:
URL: https://github.com/apache/arrow-site/pull/212#issuecomment-1125694509

   We can remove it in the script, but that's the only thing it is used for, so 
we could also document to use the script with passing it the shorter name 
(although handling it in the script will probably be more robust to avoid 
exactly what we had here ;))


-- 
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]

Reply via email to