Skip to content

Instantly share code, notes, and snippets.

Avatar

Omri omridevk

View GitHub Profile
View git-tag-delete-local-and-remote.sh
# 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
omridevk / download.js
Last active Apr 17, 2020
Download subtitles from addic7ed.com
View download.js
((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