javanna commented on PR #11975: URL: https://github.com/apache/lucene/pull/11975#issuecomment-1326853480
Thanks Robert! id.apache.org is correctly set up but that still does not help. I tried to push to the github repo and not gitbox, I will change that then. -- 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
