pseudo-nymous commented on PR #14101: URL: https://github.com/apache/lucene/pull/14101#issuecomment-2629507768
Thanks. I checked if same script could be used to label older PRs but there is no such event corresponding to already closed PR. Maybe we can write an individual script which could process already closed PRs and label them. I will further explore on this. -- 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: issues-unsubscr...@lucene.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org --------------------------------------------------------------------- To unsubscribe, e-mail: issues-unsubscr...@lucene.apache.org For additional commands, e-mail: issues-h...@lucene.apache.org
