Add documentation branch push hack
Add documentation branch push hack

The only time this will be needed is if for whatever reason I've pushed the
site with locally committed changes and then rebase my local tree

GiriDandu/deploydb,lookout/deploydb,rtyler/deploydb,lookout/deploydb,maheshkelkar/deploydb,rmoorman/deploydb,rmoorman/deploydb