pull down to refresh

Some discovery protocol for that could be built independently from git itself.