Jakub Narebski [off-list ref] writes:
I have series of gitweb patches to send: should I make them pre-rename, or
post-rename?
Do people happy with the general naming guidelines (I am)?
I'll be pushing out 1.4.2 this weekend, and then moving all the
gitweb stuff pending in "next" to "master" after that.
Let's have the rename immediately on top of it first, then
continue cleaning up after that.