Skip to content

Pull requests: sourcebot-dev/sourcebot

New pull request New
10 Open 216 Closed
10 Open 216 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Improved Gitlab All in case of many repositories
#372 opened Jul 2, 2025 by abraverm Loading…
5
Nix support
#371 opened Jul 2, 2025 by abraverm Loading…
17
Add Sourcebot Helm Chart
#370 opened Jul 1, 2025 by aanogueira • Draft
2
chore: Misc typos (UI, docs, code...), Makefile PATH with spaces
#369 opened Jul 1, 2025 by GabDug Loading…
3
Added comprehensive Gerrit HTTP authentication support
#366 opened Jun 25, 2025 by zuharz Loading…
@brendan-kellam
5
fix(browse): Fix issue where files would sometimes never load
#365 opened Jun 25, 2025 by brendan-kellam Loading…
4
fix(web): batch findMany queries fixes #360
#361 opened Jun 20, 2025 by 24601 • Draft
1
3
chore(deps): Bump react email to latest
#308 opened May 15, 2025 by brendan-kellam Loading…
1
Index default branch
#148 opened Dec 26, 2024 by Steven-Nagie Loading…
2
Add query documentation
#80 opened Nov 19, 2024 by KonradStanski Loading…
19
ProTip! Updated in the last three days: updated:>2025-07-01.