Re: [git-users] Other than gitignore, what could be causing a file to not be pushed to remote repo?

2017-01-04 Thread Michael
On 2017-01-04, at 4:29 PM, AD S wrote: > Hi Philip, > > I am using my company's propriety software that automatically runs a few git > commands one after the other (it's meant to be more thorougher). The process > it runs when pushing to remote repo (testing branch)

Re: [git-users] Other than gitignore, what could be causing a file to not be pushed to remote repo?

2017-01-04 Thread AD S
Hi Philip, I am using my company's propriety software that automatically runs a few git commands one after the other (it's meant to be more thorougher). The process it runs when pushing to remote repo (testing branch) is: - git push ${project} ${current_branch_refspec} - Push branch to

Re: [git-users] Other than gitignore, what could be causing a file to not be pushed to remote repo?

2017-01-04 Thread Philip Oakley
Hi AD What commands are you using? In particular what what is your default push style. You may not actually be pushing the branch/commit you expect. There was a change not that long ago that reduced the number of branches being pushed (by default) e.g. 'simple' vs 'matching' / current /

[git-users] Other than gitignore, what could be causing a file to not be pushed to remote repo?

2017-01-03 Thread AD S
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