IV Notes
Search…
Bits and Pieces
Audio/video encoding tips
Git
Useful commands which I had to google
- To pull and merge master from origin without leaving the current branch:
git fetch origin master:master - To push a new branch to origin (assuming it's checked out now):
git push -u origin HEAD
Last modified 1yr ago
Copy link