Copy github PR title and link as markdown bookmarklet

github-pr-title.js

javascript:(() => {
  text = '';
  
  for (const n of  document.querySelectorAll('.js-issue-labels > *')) {
    text += `[${n.textContent.trim()}] `
  }
  
  text += `${document.querySelector('.gh-header-title > bdi').textContent } [${document.querySelector('.gh-header-title > span').textContent }](${window.location.toString()}) by [@${document.querySelector('#discussion_bucket .author').textContent}](${document.querySelector('#discussion_bucket .author').href})`;

  navigator.permissions.query({name: "clipboard-write"})
    .then((result) => {
      if (result.state === "granted" || result.state === "prompt") {
        /* write to the clipboard now */ 
        navigator.clipboard.writeText(text);
      }    
    })
    .catch(() => {
      prompt('you can copy that', text)
    });
})()