Devin Desktop: v1.9552.25: Fix compatibility with GitHub Pull Requests extension

Product: Devin Desktop

Fix compatibility with GitHub Pull Requests extension

What changed

• Fix compatibility with GitHub Pull Requests extension

Source

• Official notes: https://docs.devin.ai/desktop/changelog

Why it matters

If you use Devin Desktop, skim the official notes above and decide what to try in your next session. Tag the right surface — Cloud vs Desktop vs CLI — before you change workflows.

---

Fan coverage from Devin Central — not an official Cognition announcement. Devin is a trademark of Cognition.