git reset --hard HEAD~1
git tag -d mytag
git push origin :refs/tags/mytag
#!/bin/bash | |
# Convert json data to a dotted notation for line-based manipulation and visualization | |
# | |
# Adapted from dialog here: https://news.ycombinator.com/item?id=20245913 | |
# jq code by @jolmg | |
# | |
flat() { | |
jq -r ' |