On 2013-02-20, mherndon michael wrote: > Did we ever agree on how to handle pull requests on github? There are at > currently least four pull requests on github.
Not formally, AFAIR. We pull them into the ADF repo and have the mirror stuff push them back to github. > Also what is the official git repo now for Lucene.Net ? The one at Apache. Stefan
