omridevk

# delete local tag '12345'
git tag -d 12345
# delete remote tag '12345' (eg, GitHub version too)
git push origin :refs/tags/12345
# alternative approach
git push --delete origin tagName
git tag -d tagName

omridevk

((doc, timeout) => {
  const $selectEnglish = doc
    .querySelector('#langs')
    .querySelector('td + td>input')

  const selectAll = checkboxes =>
    checkboxes.forEach(checkbox => (checkbox.checked = true))
  const $download = doc.querySelector('input[value="Multi Download"')

  $selectEnglish.checked = true