Take a clone of a remote repository and run git branch -a (to show all the branches git knows about). It will probably look something like this: * master remotes/origin/HEAD -> origin/master remotes/origin/master Here, master is a branch in the local repository. remotes/origin/master is a branch named master on the remote named origin. You can … Read more
This is what you’re looking for: ignoring doesn’t remove a file. I suggest you read that page, but here’s the specific command to use: git filter-branch –index-filter \ ‘git rm -r –cached –ignore-unmatch <file/dir>’ HEAD Also, to remove all the deleted files from caches git creates, use: rm -rf .git/refs/original/ && \ git reflog expire … Read more
Here is a command that gives you all tracking branches (configured for ‘pull’), see: $ git branch -vv main aaf02f0 [main/master: ahead 25] Some other commit * master add0a03 [jdsumsion/master] Some commit You have to wade through the SHA and any long-wrapping commit messages, but it’s quick to type and I get the tracking branches … Read more
There was almost the same question on GitHub a year ago. The idea was to rename the master branch: git branch -m master development git branch -m published master git push -f origin master Making master have what you want people to use, and do all other work in branches. (a “git-symbolic-ref HEAD refs/head/published” would … Read more
If you want only the remote URL, or if your are not connected to a network that can reach the remote repo: git config –get remote.origin.url If you require full output and you are on a network that can reach the remote repo where the origin resides : git remote show origin When using git … Read more
In Git 1.7.0 and later, you can checkout a new branch: git checkout -b <branch> Edit files, add and commit. Then push with the -u (short for –set-upstream) option: git push -u origin <branch> Git will set up the tracking information during the push.
How to change the URI (URL) for a remote Git repository?