Git bash不会让我拉

Question

So I made some changes to my file and now when I check my status it says :

   On branch master
Your branch and 'origin/master' have diverged,
and have 1 and 80 different commits each, respectively.
  (use "git pull" to merge the remote branch into yours)
nothing to commit, working directory clean

So I try to pull and it says

error: unable to create file docs/com/teamname/tutortrader/C:\nppdf32Log\debuglog.txt (Invalid argument)

I've tried to git rm -f docs/com/teamname/tutortrader/C:\\nppdf32Log\\debuglog.txt but it just says that this file doesn't exist. I've also tried rm -f C:\\nppdf32Log\\debuglog.txt , but that doesn't exist either.

Answer 1

Some kind person (presumably on Linux or Mac) has added a file to your repo called C:\\nppdf32Log\\debuglog.txt . This is an invalid filename on Windows. You need to get them to rename this file or you won't be able to clone this repo on Windows any more.

cf how do I clone files with colons in the filename

Answer 2

In the github interface with a file open, look at the top-right-hand side. You'll see buttons labeled "Raw", "Blame" and "History". To their right -- if you have write access to the repo -- there will also be a garbage can. Clicking on that will commit a change deleting that file from the repository.

Do so for the offending file, and you'll again be able to check this out on Windows.