1. 2020-08-28 Re: Do we actually merge the GitHub pull requests? solr-dev Cassandra Targett 2. 2020-08-28 Re: Do we actually merge the GitHub pull requests? lucene-de Cassandra Targett 3. 2020-08-28 Re: Do we actually merge the GitHub pull requests? lucene-de Cassandra Targett 4. 2020-08-28 Re: Do we actually merge the GitHub pull requests? solr-dev Cassandra Targett 5. 2020-08-28 Re: Do we actually merge the GitHub pull requests? solr-dev Uwe Schindler 6. 2020-08-28 Re: Do we actually merge the GitHub pull requests? lucene-de Uwe Schindler 7. 2020-08-28 Do we actually merge the GitHub pull requests? lucene-de Alexandre Rafalovi 8. 2020-08-28 Do we actually merge the GitHub pull requests? solr-dev Alexandre Rafalovi