Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Use a successful push (200 OK) as a signal to try pulling again too #1020

Closed
aboodman opened this issue Aug 7, 2022 · 1 comment
Closed

Comments

@aboodman
Copy link
Contributor

aboodman commented Aug 7, 2022

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.

@aboodman
Copy link
Contributor Author

On second thought I think this is too much complexity for such a rare case, but definitely we should do #1019.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant