Heads up: beta git repo hashes changing this weekend

[Ulrich Spörlein]

Hey folks, another Sunday has rolled around and we've updated the commit
history for doc, src, ports to be more true to what really happened.

This means all hashes are now different and pulling from the repo will
sadly cause almost all commits to be re-fetched. The contents are still the
same, so it is theoretically easy to transplant your work from one branch
to the other, but the details around this are messy.

Cheers
Uli