[ https://issues.apache.org/jira/browse/LUCENE-9013?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=16963019#comment-16963019 ]
Jan Høydahl commented on LUCENE-9013: ------------------------------------- [~uschindler], [~dweiss], or others: Any concerns in force-pushing to the lucene-site repo which is practically empty and very few will have a checkout of it? Should we force-push to GitHub or gitbox, and will force-pushing mess up the syncing between them? > Migrate existing site content (except javadoc, refguide) > -------------------------------------------------------- > > Key: LUCENE-9013 > URL: https://issues.apache.org/jira/browse/LUCENE-9013 > Project: Lucene - Core > Issue Type: Sub-task > Reporter: Jan Høydahl > Priority: Major > Attachments: Screen Shot 2019-10-29 at 12.29.49 PM.png > > > Resulting in a successful local build -- This message was sent by Atlassian Jira (v8.3.4#803005) --------------------------------------------------------------------- To unsubscribe, e-mail: issues-unsubscr...@lucene.apache.org For additional commands, e-mail: issues-h...@lucene.apache.org