Home
Commands
Push to remote
Push to remote
Git
git push origin <branch>
Copy command