Is anyone else having GitHub issues with things not updating?

Very odd. Pushed some code but couldn't find the new files or search for them.