Before answering, let’s add some background, explaining what this HEAD is. First of all what is HEAD? HEAD is simply a reference to the current commit (latest) on the current branch. There can only be a single HEAD at any given time (excluding git worktree). The content of HEAD is stored inside .git/HEAD and it … Read more
How do I resolve merge conflicts in a Git repository?
Git still think mysubmodule is a submodule, because it is recorded in the index with a special mode “160000”. See “git submodule update needed only initially?” for more. To check that, as in in this answer, you can do a: $ git ls-tree HEAD mysubmodule 160000 commit c0f065504bb0e8cfa2b107e975bb9dc5a34b0398 mysubmodule That doesn’t depend on the presence … Read more
How do I undo the most recent local commits in Git?
How do I revert a Git repository to a previous commit?
Use the BFG Repo-Cleaner, a simpler, faster alternative to git-filter-branch specifically designed for removing unwanted files from Git history. Carefully follow the usage instructions, the core part is just this: $ java -jar bfg.jar –strip-blobs-bigger-than 100M my-repo.git Any files over 100MB in size (that aren’t in your latest commit) will be removed from your Git … Read more
How can I make Git “forget” about a file that was tracked, but is now in .gitignore?
Create a repo on Github, then using the command line cd /path/to/your/repo git remote set-url origin <github URL> git pull origin master git push -u origin master Basically you’re changing the default origin remote URL to point to the Github one.
The default is true. I can’t find any documentation for this, but it is. The option false is for when you have configured your repo, your branch or your system to always rebase when pulling. The other options are explained in the docs.