Excerpts from Robert Haas's message of mié jul 21 15:26:47 -0400 2010:
> > So you're working on some back branch, and make a WIP commit so you can switch to master to make a quick commit.
Createa push on master. Bare git push. WIP commit gets pushed upstream. Oops.
>
> Sure, oops, but I would never do that. I'd stash it or put it on a
> topic branch.
Somebody else will. Please remember you're writing docs that are not
for yourself.
