pull down to refresh

If you make a PR on github it's easier for us to remember and for you to track.