Add sync instructions.

The last bit of the instructions for a docs/github workflow.