pull down to refresh

I find irony in a tool that aims to remove one of the main features of GitHub is hosted on GitHub