git

Git Rebase From Upstream git howto 2020.11.08 This note explains how to apply new commits in your forked repo from the parent (upstream) repo. If not already done, add a “remote” to the parent’s repo like this : Read more

Local git dev git howto 2019.12.02 Define a repo somewhere in your file system with a bare init mkdir -p /somewhere/repo/test_project cd /somewhere/repo/test_project git init --bare Now create a local folder for your work with init only Read more

French Git Log git 2016.06.07 Git log in colors. git log --pretty='format:%Cblue%h%Creset %ad %Cred%<(8,trunc)%an%Creset%Cgreen%d%Creset %s' --date=short Shows how to use pretty format in Git with colors and fixed with columns (trunc) : Read more

Git delete remote branch/tag dev git 2015.01.07 As of Git v1.7.0, you can delete a remote branch using : git push origin --delete <branchName> And you can do exactly the same with a tag Read more

GIT - stop tracking files dev git 2014.11.28 If you have some files that you need to have in your repo but don’t need to have updates, git allows it : Read more