Related to #1019 , we can use a successful push as a signal that we might be online and to try and pull too.
Typically a successful push will result in a poke/pull pair so explicitly pulling again isn't necessary - we'd pull right away anyway. But there's an edge case where the push doesn't change anything server-side, where this would catch changes faster than waiting for the next poke.
Related to #1019 , we can use a successful push as a signal that we might be online and to try and pull too.
Typically a successful push will result in a poke/pull pair so explicitly pulling again isn't necessary - we'd pull right away anyway. But there's an edge case where the push doesn't change anything server-side, where this would catch changes faster than waiting for the next poke.