5 Pull requests merged by 1 person

• Add utility and test for big dashboards

  #82 merged Jun 25, 2025

• Fix bug in tree building based on git specification

  #81 merged Jun 25, 2025

• Fix bug for multiple prefixes

  #80 merged Jun 25, 2025

• Reduce code complexity

  #79 merged Jun 25, 2025

• Handle Git Server errors

  #77 merged Jun 25, 2025

1 Pull request opened by 1 person

• Use streaming everywhere for raw client

  #83 opened Jun 25, 2025