What's Changed
- fix(hotkeys): Properly map all hotkeys in UI based on the platform by @msukkari in #784
- experiment(ask_gh): Support on demand indexing of GitHub repositories by @brendan-kellam in #785
- fix(parser): Allow parenthesis in query and filter terms by @msukkari in #788
- fix(web): Fixed issue where Sourcebot would not index the new default branch when changed by @brendan-kellam in #789
Full Changelog: v4.10.16...v4.10.17