Github Desktop Case Study June 19, 2026 · 3 min read Where is the PR button? github-desktopefficiencycase-study