There must be something I've overlooked when I learned Git. After all I'm fairly new to it.
My workmate says he's pushed back some changes he made to my commit in our remote repository. However the git log has no record of this new push.
How can I see what he pushed and thus know what branch to pull?