Push code at the same time we push tags when releasing.
Fix stray incorrect version in docs.