When waiting for GitHub API, periodically refresh timer

thoth-station / mi

an experiment on Source Operation Metrics

GNU General Public License v3.0

6 stars 10 forks source link

When waiting for GitHub API, periodically refresh timer #588

Open xtuchyna opened 2 years ago

xtuchyna commented 2 years ago

Problem statement

Currently, the user is not incrementally informed about the GH API refresh time. This can lead user to more likely interrupt the data extraction process, which is not desired.

Proposal description

Refresh timer either each second, or each minute.

Acceptance Criteria

[ ] drain the GH API and see if the waiting the is being refreshed
[ ] test if after interruption the data is saved

goern commented 2 years ago

/sig user-experience

KPostOffice commented 1 year ago

Seems pretty straight forward. Should basically just wrap the code here in a while loop, right @xtuchyna ?

xtuchyna commented 1 year ago

yes you are right @KPostOffice , this was sort of a todo reminder-ish issue so that we do not forget :)