pull down to refresh

It didn't use SSH; that was the problem. It used my GitHub PAT.