Mailing List Archive: PR got approval Do I still have anything to do for this PR to merge it?

PR got approval Do I still have anything to do for this PR to merge it?

Jan 29, 2024, 4:51 PM

Post #1 of 1 (30 views)

Hello all.
Let me ping.
I've made a first PR in Lucene.
https://github.com/apache/lucene/pull/12882 and approved it.
Do I still have anything to do for this PR? If not, could you merge it or
let me know when will it be merged?

Thank you!