Useful and composable: git retire

See git retire.