pull down to refresh

We need to decentralize from github... I'm running my own gitea servers for my projects, but this one place where I fucked around now I have found out.