Touched up some of the workflow documentation.

Mostly clarified how pushing works.