pullrequests Search Results · language:Dune language:TypeScript language:TypeScript language:JavaScript language:Java language:Go
Filter by
231M results
What
Adds a filter mode to the terminal search bar. Instead of only highlighting and jumping between matches, it shows only
the lines that contain the query — like tail -f | grep — while the existing ...
Darmikon
HuynhPhamBaoTuan
We want the documentation about Section International Engagement to look as professional as possible.
Therefore, this PR applies markdown linting to all markdown files for Section Int and adds a GitHub ...
cthoyt
Tracks #37.
Working branch for the new direction: retire the ratatui TUI, keep a headless engine, build a Tauri desktop UI, with
interactive chat-driven planning before execution as the centerpiece.
...
Lotus015
vaibhavbajgude
Summary
The cov-95 series brought 17+ packages to ≥95% statements. Floor at 90% was set by PR #324 when 85→90 was a stretch;
today 90 is well below the actual standard.
- Raise MINIMUM_FLOOR 90 → 94. ...
vitbokisch
PM#43：让前端 #36 的 LEGAL 合同页守卫真正可用。
改动
- AdminUser.Role 枚举增加 LEGAL
- V081__admin_legal_role.sql：admin_users.role ENUM 扩充 LEGAL（原为 MySQL ENUM 约束）+ INSERT IGNORE seed 法务账号 legal /
Legal@2026（BCrypt ...
youking5688
SunnyTany
snackkPull Request
Description
I ve written integration tests for the signaling endpoints used in LiveHearing:
Backend Test (HearingControllerIntegrationTest.java):
- Tests scheduling a hearing returns ...
good first issue
gssoc:approved
level:advanced
quality:exceptional
type:feature
type:testing
vansh-09