[Solved] GitHub bug?

Open-source port of PoP that runs natively on Windows, Linux, etc.
Post Reply
David
The Prince of Persia
The Prince of Persia
Posts: 2846
Joined: December 11th, 2008, 9:48 pm
Location: Hungary

[Solved] GitHub bug?

Post by David »

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.
Falcury
Calif
Calif
Posts: 565
Joined: June 25th, 2009, 10:01 pm

Re: GitHub bug?

Post by Falcury »

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?)
David
The Prince of Persia
The Prince of Persia
Posts: 2846
Joined: December 11th, 2008, 9:48 pm
Location: Hungary

Re: GitHub bug?

Post by David »

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