I was working on updating a couple of .css and a .html file and pushed them to my remote repo. The .css files appear to have transitioned fine, but not the updates to my .html file.
I looked in gitignore and saw that there was nothing affecting this .html file. It should push. If I change something on the file and run `git status` it picks it up fine too. When I push to the remote repo everything runs smoothly. No errors. Would anyone know why this file could be refusing to be pushed? -- 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.
