Skip to content

Instantly share code, notes, and snippets.

View jiang-wei's full-sized avatar
🏠
Working from home

Jiang Wei jiang-wei

🏠
Working from home
  • Toronto, Canada
View GitHub Profile
import hudson.model.*
def q = Jenkins.instance.queue
q.items.each {
if (it =~ /deploy-to/) {
q.cancel(it.task)
}
}
@jiang-wei
jiang-wei / git-tag-delete-local-and-remote.sh
Created June 14, 2018 20:39 — forked from mobilemind/git-tag-delete-local-and-remote.sh
how to delete a git tag locally and remote
# 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