Now that Microsoft has acquired GitHub, no doubt they will be upgrading GitHub search with SOTA algos.