[Solved] GitHub bug?

Open-source port of PoP that runs natively on Windows, Linux, etc.

Moderator: English Moderator Team

David
The Prince of Persia
The Prince of Persia
Posts: 1402
Joined: December 11th, 2008, 9:48 pm
Location: Hungary

[Solved] GitHub bug?

Postby David » May 23rd, 2016, 6:33 pm

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
Wise Scribe
Wise Scribe
Posts: 300
Joined: June 25th, 2009, 10:01 pm

Re: GitHub bug?

Postby Falcury » May 28th, 2016, 4:36 pm

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: 1402
Joined: December 11th, 2008, 9:48 pm
Location: Hungary

Re: GitHub bug?

Postby David » May 29th, 2016, 7:16 am

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


Return to “SDLPoP”

Who is online

Users browsing this forum: No registered users and 1 guest