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

Better export progress. #187

Merged
merged 1 commit into from
Aug 26, 2021
Merged

Better export progress. #187

merged 1 commit into from
Aug 26, 2021

Conversation

manthey
Copy link
Contributor

@manthey manthey commented Jun 11, 2021

This shows a progress bar with a time estimate:
image

Closes #178.

@manthey manthey force-pushed the always-redact-label branch from de43666 to 41110e4 Compare June 21, 2021 15:42
@manthey manthey force-pushed the always-redact-label branch from 41110e4 to 8925b6b Compare June 21, 2021 16:07
Base automatically changed from always-redact-label to master August 26, 2021 20:53
@manthey manthey merged commit 23ab24d into master Aug 26, 2021
@manthey manthey deleted the export-progress branch August 26, 2021 20:53
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

Successfully merging this pull request may close these issues.

Improve export status
1 participant