Squash-merge and Rebase-merge still terrible ideas on github. Completely breaks stacked PRs and local pruning scripts.