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.
