How do you change the capitalization of filenames in Git?
I am trying to rename a file to have different capitalization from what it had before: git mv src/collision/b2AABB.js src/collision/B2AABB.js fatal: destination exists, source=src/collision/b2AABB.js, destination=src/collision/B2AABB.js As you can see, Git throws a fit over this. I tried renaming using just the plain old mv command as well, but Git doesn't pick up the rename (as a rename or as a n
How to update a git clone --mirror?
I have created a git repository to mirror a live site (which is a non-bare git repository): git clone --mirror ssh://user@example.com/path/to/repo Now, to keep this mirror clone updated with all changes from its remote origin, which command or commands I must use? I'd like to keep everything updated: commits, refs, hooks, branches, etc. Thanks!
rsync exclude according to .gitignore & .hgignore & svn:ignore like --filter=:C
Rsync includes a nifty option --cvs-exclude to “ignore files in the same way CVS does”, but CVS has been obsolete for years. Is there any way to make it also exclude files which would be ignored by modern version control systems (Git, Mercurial, Subversion)? For example, I have lots of Maven projects checked out from GitHub. Typically they include a .gitignore listing at least target, the default
How does origin/HEAD get set?
Note first that your question shows a bit of misunderstanding. origin/HEAD represents the default branch on the remote, i.e. the HEAD that's in that remote repository you're calling origin. When you switch branches in your repo, you're not affecting that. The same is true for remote branches; you might have master and origin/master in your repo, where origin/master represents a local copy of the m
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
How to push the "develop" branch to the remote "origin"?
Transfer git repositories from GitLab to GitHub - can we, how to and pitfalls (if any)?
How to reset Heroku app and re-commit everything?
heroku and github at the same time
Move branch pointer to different commit without checkout
How do I provide a username and password when running "git clone git@remote.git"?
Configuring Git over SSH to login once
GitHub "fatal: remote origin already exists"
Git, How to reset origin/master to a commit?
unable to remove file that really exists - fatal: pathspec ... did not match any files
How do I find and restore a deleted file in a Git repository?