> What happens to open PRs? A pull request on github is essentially a diff between two commits. Existing PRs have to be placed on top of the new development branch. Note these repositories are (initially) identical with lucene-solr so if somebody clones the solr repo and the solr-lucene repo, they can create the same PR over at the new project (pointing at the new main branch as a reference).
Dawid --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@lucene.apache.org For additional commands, e-mail: dev-h...@lucene.apache.org
