Forums

I pushed a change from my dev machine to my github repo and I see the commit there when looking directly on github.com. I then do a "git pull" here on PA and I see what I'd expect:

<other git pull output> 1 file changed, 1 insertion(+), 1 deletion(-)

It's the correct file, correct description of the change. But the file itself is not updated.

Any assistance appreciated.

That sounds very strange. What do you see if you run git status?