User Discussions > Welcome & Notices
No update 10/21
Jim:
I was not able to run a site update for 10/21 because of GitHub glitches. I'll try to run one in the morning if it looks like GitHub services are back to normal.
Duke87:
Glitches were also preventing me from getting pull requests through. You may see either zero or three requests to update my list file once this gets sorted out. If you see three they're all the same so merge whichever and delete the other two.
Jim:
https://blog.github.com/2018-10-21-october21-incident-report/
Jim:
--- Quote from: Duke87 on October 22, 2018, 12:24:41 am ---Glitches were also preventing me from getting pull requests through. You may see either zero or three requests to update my list file once this gets sorted out. If you see three they're all the same so merge whichever and delete the other two.
--- End quote ---
No pull requests showing up from you yet. I'll continue to hold off on the update for now and will plan to run one early afternoon EDT if I get a chance.
froggie:
^ I see all three of Anthony's pull requests, along with hoss6884 and one of my own. I also noticed that "checking for ability to merge automatically" was inoperable last night but is working this morning.
Navigation
[0] Message Index
[#] Next page
Go to full version