
* docs: simplify git push in contributing-guides/git-terminal * docs: use git switch instead of remote in contributing-guides/git-terminal * docs: fix header levels in contributing-guides/git-terminal * docs: set upstream when pushing in contributing-guides/git-terminal