adripo

adripo / git-tag-delete-local-and-remote.sh

Created December 8, 2020 03:20 — 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

adripo / onbeforescriptexecute.js

Created April 25, 2020 23:19 — forked from maple3142/onbeforescriptexecute.js

polyfill of 'beforescriptexecute' event

	// 'beforescriptexecute' event [es5]
	// original version: https://gist.github.com/jspenguin2017/cd568a50128c71e515738413cd09a890

	;(function() {
	;('use strict')
	function Event(script, target) {
	this.script = script
	this.target = target

	this._cancel = false