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 ' |