Site update schedule interruptions

[vdeane]

Everything is merged in from GitHub.  I don't know any reason that any pull request that I merged would not be on the main site now but I'm also not paying a ton of attention to the details while traveling.

My pull request for my .list file doesn't appear to be merged.  I tried submitting it again and it won't let me click the button to create a new one.

EDIT: Looks like I had title issues since the delay resulted in an additional commit to update the base, which discards the automatic naming.

[michih]

Your pull request has just been merged. There is a commit from Friday but the pull request was submitted five hours ago. All should be fine now.
https://github.com/TravelMapping/UserData/pull/14724

[vdeane]

Your pull request has just been merged. There is a commit from Friday but the pull request was submitted five hours ago. All should be fine now.
https://github.com/TravelMapping/UserData/pull/14724

Yeah, I resubmitted after figuring out the issue with the button (I'm not used to submitting anything with more than one commit, so that's usually populated automatically for me).  Not sure what happened Friday.  I remember going through the screen where it compares the changes for the .list file, but somehow the pull request never made it through that day.