Bookmarklet to open GitHub URL locally

bookmarklet.js

javascript:(() => {
  const BASE = '/Users/lea/code';
  const g = new URLPattern(
    'https://github.com/:owner/:repo{/:kind(blob|tree|edit)}?{/:ref}?{/:file(.*)}?'
  ).exec(location)?.pathname.groups;
  if (!g) return alert('Not a GitHub repo URL');
  const line = location.hash.match(/^#L(\d+)/)?.[1] ?? '';
  location.href =
    `vscode://file${BASE}/${g.repo}${g.file ? `/${g.file}` : ''}${line && `:${line}`}`;
})();