explicitly make pushing part of version control commandment