paulstuart

undo git merge

git reset --hard HEAD~1

delete a tag in remote

git tag -d mytag
git push origin :refs/tags/mytag

Remove local branches no longer on remote

paulstuart

#!/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 '