git

TIL: git history of a single line: git log -L<linenum>,+1:<path> f.ex. to see version changes of a package in line 40 of a pipenv config, git log -L40,+1:Pipfile

TIL: git clone [email protected]:fcbertoldi/todo_django.git uses the SSH protocol, so it is a shortcut to git clone ssh://[email protected]:fcbertoldi/todo_django.git https://git-scm.com/book/en/v2/Git-on-the-Server-The-Protocols $ git clone [user@]server:project.git The SSH service uses the same user git for all GitHub, as it is a convention to have the user name the same as the service. https://stackoverflow.com/questions/47664768/why-does-git-using-ssh-use-git-as-a-username

https://stackoverflow.com/a/64563565/2634595 https://github.com/newren/git-filter-repo Use the third-party add-on git-filter-repo # 1. fresh clone of the repo. Make sure you have a backup clone somewhere else in case something goes wrong. $ mkdir tmpdir && cd tmpdir && git clone <repo> # 2. make sure remote origin is configured in .git/config # 3. multiple paths can be specified by using multiple --path parameters $ git filter-repo --invert-paths --path <path to the file or directory> # 4....