Range-diff !185

back to !185 Delete an organization; prune a merge request's head

1:  555d70f < -:  ------- Repository settings: mirrors and custom domains
2:  631beaa < -:  ------- Account: browser sessions
3:  e7255de = 1:  bebda41 Delete an organization; prune a merge request's head
-:  ------- > 2:  250c56d Org delete and prune: a refusal in an alert, the profile follows, a pruned head is not offered again