Skip to content

v4.10.17

Latest

Choose a tag to compare

@sourcebot-release-bot sourcebot-release-bot released this 23 Jan 06:18

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