pull down to refresh

Yes, agreed. That would be a useful bot to have.
You want me to add the proposal on github to track it?
reply
Yes, please add a bot label.