Git: Stop tracking file
Posted . Visible to the public.
git rm --cached #file_path#
Related cards:
Git: Rename Remote Branch
You just have to create a new local branch with the desired name, push it to your remote, and then delete the old remote branch:
$ git branch new-branch-name origin/old-branch-name
$ git push origin new-branch-name
$ git push origin :...
Git: Rename Local Branch
git branch -m <oldname> <newname>
If you want to rename the current branch, you can simply do:
git branch -m <newname>
PDF Manipulation: Decrypting a File
qpdf --decrypt --password=PASSWORD INPUT_FILE.pdf OUTPUT_FILE.pdf
Posted by Luis Romero to Custom Exposure (2014-08-13 16:50)