docs(server): correct the pull request coverage query comment

22aaa53e02Julius Marminge committed on 10/21/2026, 10:20:17 PMparent72e7b6b
1 file changedLine totals unavailable