Update github browser extensions: Add better-comments-for-github #5020
Triggered via pull request
September 27, 2025 19:23
riccardoperra
riccardoperra
opened
#4898
Status
Success
Total duration
13s
Artifacts
–