Skip to content

Instantly share code, notes, and snippets.

@xinxian0458
xinxian0458 / Jenkinsfile
Created July 7, 2020 03:48 — forked from merikan/Jenkinsfile
Some Jenkinsfile examples
Some Jenkinsfile examples
@xinxian0458
xinxian0458 / gist:e993ffd390e48150bbde676445ec05fe
Created February 9, 2018 10:00 — forked from da-n/gist:9998623
Rename a tag in git

Rename a git tag old to new:

git tag new old
git tag -d old
git push origin :refs/tags/old
git push --tags

The colon in the push command removes the tag from the remote repository. If you don't do this, git will create the old tag on your machine when you pull.

-- source http://stackoverflow.com/a/5719854/695454

@xinxian0458
xinxian0458 / tmux-cheatsheet.markdown
Created November 21, 2016 02:34 — forked from MohamedAlaa/tmux-cheatsheet.markdown
tmux shortcuts & cheatsheet

tmux shortcuts & cheatsheet

start new:

tmux

start new with session name:

tmux new -s myname