@andy_kelley from the unused var merge stream, git cherry-pick lets you grab any commit from your repo and apply it to the current branch. So, while force pushing someone's branch would be a little rude, they wouldn't have to manually recreate anything - just a new branch.
Remember that time James Earl Jones turned into a snake so he wouldn't have to eat cannibal split pea soup and then turned snakes into arrows to shoot at people? That was wild.
A monad is like a burrito: you take your ingredients, some of which may be spicy, bundle them up in a wrapper, and later seriously regret what you've done.


