The pull has been submitted:
https://github.com/bitcoin/bitcoin.org/pull/393
Congratulations to all of us!
Now that the squashed branch is the official branch, you should not be
adding commits on top of any branch based off of Saīvann's old dev
branch, which is what we've been doing. (If you have work you haven't
submitted yet, don't worry about it: we can use git cherry-pick to get
what we need.)
From this point until the pull request above get merged, you want to
base your pulls off of the devel-docs branch in the main
bitcoin.org
repository. (After the merge, we'll establish a new workflow.)
Saīvann, me, and maybe some others plan to backup our old unsquashed
histories for posterity. The simple way to do that is just to make a
copy of your entire checked out repository. A less simple way is to
delete all unneeded references, create a bare repository, and back that
up. I'll post directions for that later tonight or tommorow just as
soon as I do it myself.
If you have any questions about anything, please don't hesitate to
reply to this message on or off list.
Congratulations again!
-Dave
--
David A. Harding