The sound distributed version control system

Update selection instructions to also mention pushing

Created by  rob  on November 16, 2020
IMCZFTIJ245E3JBOHAY3FMEZCGTL4VNIF26WAKJSZMQXZJ4NK3LAC
Change contents