Rename remote branch without deleting it
Paolo Redaelli
Rename remote branch without deleting it Quick oneliner for deleting old branch and creating a new one with same content is: git push <remote> <remote>/<old>:refs/heads/<new> :<old> where remote is obvious…
Git
Git: Copy a file or directory from another repository preserving the history
How to copy a file or directory from another GIT repository while preserving its history? Internet is full of magic formulas each one more complex. Here I’m proposing a much…
Never* use git pull – YouTube
Just a quick summary mostly for myself: How to use git pull --rebase to keep your team’s commit history clean. Command for creating the ‘git pr‘ alias (so you can…
Find and restore a deleted file in a Git repository
Use git log --diff-filter=D --summary to get all the commits which have deleted files and the files deleted; Use git checkout $commit~1 filename to restore the deleted file. Sorgente: Find…