Skip to content

Instantly share code, notes, and snippets.

@reachlin
reachlin / prometheus.yml
Created Apr 19, 2017
sample prometheus configuration explained
View prometheus.yml
// For all the confusing Prometheus configuration and
// regular expressions,
// explained in examples.
// Remember, there are default values for each item if it's missing.
// regex is (.*),
// replacement is $1,
// separator is ;
// ,and action is replace
@mobilemind
mobilemind / git-tag-delete-local-and-remote.sh
Last active Jun 22, 2021
how to delete a git tag locally and remote
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