You are viewing a plain text version of this content. The canonical link for it is here.

Posted to github@arrow.apache.org by "raulcd (via GitHub)" <gi...@apache.org> on 2023/06/22 13:56:39 UTC

[GitHub] [arrow] raulcd commented on pull request #36244: GH-36243: [Dev] Remove PR workflow label as part of merge

raulcd commented on PR #36244:
URL: https://github.com/apache/arrow/pull/36244#issuecomment-1602686882

   @pitrou I think you asked for this in the past. I can do a cleanup of labels once this is merged so we remove them from closed PRs.


-- 
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: github-unsubscribe@arrow.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org