pull down to refresh

I pay for GitHub Copilot every month, it's useful.