message: Display link to repository after branch deletion
diff: @@ -17,19 +17,27 @@ function inPR() {
  const urls = new Map();
  for (const el of select.all('.commit-ref[title], .base-ref[title], .head-ref[title]')) {
  const [repo, branch] = el.title.split(':');
  + const branchName = el.textContent.trim();
  + urls.set(
  + el.textContent.trim(),
  + `/${repo}`
  + );
  + if (branchName !== deletedBranch) {
  urls.set(
  el.textContent.trim(),
  `/${repo}/tree/${encodeURIComponent(branch)}`
  );
  }
  + }
  for (const el of select.all('.commit-ref')) {
  const branchName = el.textContent.trim();
  + if (branchName !== 'unknown repository') {
  if (branchName === deletedBranch) {
  el.title = 'Deleted';
  el.style.textDecoration = 'line-through';
  - } else if (branchName !== 'unknown repository') {
  + }
  wrap(el, <a href={urls.get(branchName)}></a>);
  }
  }
  