pull down to refresh

Gitea is still centralized, but yeah, it could at least be hosted by someone who doesn't have GitHub's (owned by Microsoft) incentives.