integration: tip clean prunes subsumed tips#1258

ed-irl wants to merge 4 commits into

ed-irl/integration-stack-submitabhinav/git-spice:ed-irl/integration-stack-submitfrom

ed-irl/integration-tip-cleanabhinav/git-spice:ed-irl/integration-tip-cleanCopy head branch name to clipboard