Quickly rewrite Git repository history

Part of

Advanced Git Integration And Collaboration