New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Some scheduled timer to check for events from server #2

Open

boydc7 opened this issue Jan 23, 2018 · 0 comments

Labels

enhancement pri-important

Contributor

boydc7 commented Jan 23, 2018

Should be needed infrequent if startup and pushes are working correctly/well

boydc7 added enhancement pri-important labels

# for free to join this conversation on GitHub. Already have an account? # to comment