It would make sense to mark this repository as read-only. Thanks, Dave
> On Oct 17, 2024, at 10:34 PM, lhotari (via GitHub) <g...@apache.org> wrote: > > > lhotari closed pull request #10: renamed > URL: https://github.com/apache/pulsar-presto/pull/10 > > > -- > 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: dev-unsubscr...@pulsar.apache.org > > For queries about this service, please contact Infrastructure at: > us...@infra.apache.org >