pull down to refresh

I guess rework from checkpoint also means redo, rather than rework. (The checkpoints were broken when combined with having full control cmdline git in the early days, so I hated that feature most of all)