Mirror of the Xapian repository. You’re welcome to open pull requests on github (they’ll just get merged indirectly).