Prince of Persia

I have just pushed a commit, but it won't show up in GitHub.
(I committed it yesterday to my local repo, though.)
The change: here I changed COUNT to sizeof. In the browser it still shows COUNT.
However, if I download the whole master as a ZIP then it will contain sizeof.

The commit is not here: https://github.com/NagyD/SDLPoP/commits/master
Or here: https://github.com/NagyD/SDLPoP/commits/master/seg000.c

But I can look at the commit by giving its checksum: https://github.com/NagyD/SDLPoP/commit/ ... dff120dc8d
Or here: https://github.com/NagyD/SDLPoP/tree/54 ... dff120dc8d

What happened and how to fix it?

EDIT: Solved.

Has the problem been solved? I can see the changes of the commit in the browser as normal. (Maybe it was a local problem with the browser cache?)

Now I see the changes, so it seems to be solved.