On Fri, 19 Jun 2015 03:51:46 -0700 (PDT) fs...@entornosdeformacion.com wrote:
> after a commit and push from my local branch to the remote one, I can > see in the server (through the web page) that one of the committed > files is broken. Differences shown in the commit are incompleted and > the whole file is truncated. But if I look into my local file, > everything is ok. > > I tried with "git diff BRANCH origin/BRANCH" and no errors appear. > So, how can I get the differences between the remote and the local > file?? > > And more important, how can I upload my current local file and fix > the remote one? Before rushing to fix the sutiation I'd first verify the file is truly broken. The thing is, all the stuff in Git repositories is linked using the SHA-1 hashes calculated over the contents of that stuff. In other words, commits link to their tree objects using the SHA-1 hash calculated over the contents of that tree object; tree objects refer to the blobs representing their files using, again, SHA-1 hashes calculated over the contents of those files. This means, if something is *that* broken *and* Git does not notice this, it's way more likely that the underlying filesystem (or disk drive) is hosed rather than the file is corrupted. A misbehaving web front-end is also more likely to happen that the corruption of a file in the Git database. To verify, you have several options. The simplest is to first fetch from the remote and then see at the file. Something like git fetch origin and then git show origin/BRANCH:path/to/that/file or git diff BRANCH origin/BRANCH path/to/that/file If that's OK but you'd like to dig deeper, log into the server, where the remote repository is located, `cd` to that repository's directory and look at that file: git show BRANCH:path/to/that/file If you'll notice that the file is indeed botched, return to us for further assistance. -- You received this message because you are subscribed to the Google Groups "Git for human beings" group. To unsubscribe from this group and stop receiving emails from it, send an email to git-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.