Bookmarklet to switch between GitHub and Graphite PR Pages

github-graphite-pr-switch.js

javascript:(()=>{const{host,pathname}=location;if(host.includes('github.com')&&pathname.includes('/pull/')){const m=pathname.match(/^\/([^/]+)\/([^/]+)\/pull\/(\d+)(?:\/|$)/);if(m){window.open('https://app.graphite.com/github/pr/'+m[1]+'/'+m[2]+'/'+m[3],'_blank');}else{alert('Could not parse GitHub PR URL.');}}else if((host.includes('app.graphite.com')||host.includes('app.graphite.dev'))&&pathname.includes('/github/pr/')){const m=pathname.match(/^\/github\/pr\/([^/]+)\/([^/]+)\/(\d+)(?:\/|$)/);if(m){window.open('https://github.com/'+m[1]+'/'+m[2]+'/pull/'+m[3],'_blank');}else{alert('Could not parse Graphite PR URL.');}}else{alert('Not a GitHub or Graphite PR URL.');}})();

Create a new bookmark and paste that in as the URL. Call it whatever you want. Mine is Graphite↔GH