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.
[Solved] GitHub bug?
Re: GitHub bug?
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?)
Re: GitHub bug?
Now I see the changes, so it seems to be solved.