Pulse · gitpod-io/browser-extension · GitHub

August 4, 2025 – August 7, 2025

Overview

2 Active pull requests

0 Active issues
- 2 Merged pull requests
- 0 Open pull requests
- 0 Closed issues
- 0 New issues

1 Release published by 1 person

v2.4.2
published Aug 6, 2025

2 Pull requests merged by 1 person

[github] fix selector for github.com PR page
#197 merged Aug 6, 2025
[github] fix for new PR review experience
#196 merged Aug 4, 2025