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.

Sign up for GitHub

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

Jump to bottom

Retry of failed downloads #2277

Merged
merged 6 commits into from
Feb 13, 2018
Merged

Retry of failed downloads #2277

merged 6 commits into from
Feb 13, 2018

Commits on Feb 7, 2018

  1. Make retry work if downloads fail

    @HebaruSan
    HebaruSan committed Feb 7, 2018
    Configuration menu
    Copy the full SHA
    413a290 View commit details
    Browse the repository at this point in the history

  2. Clean up download error reporting

    @HebaruSan
    HebaruSan committed Feb 7, 2018
    Configuration menu
    Copy the full SHA
    93413b4 View commit details
    Browse the repository at this point in the history

  3. Add a Retry button after failed downloads

    @HebaruSan
    HebaruSan committed Feb 7, 2018
    Configuration menu
    Copy the full SHA
    e753c33 View commit details
    Browse the repository at this point in the history

  4. Show host and size in GUI decision points

    @HebaruSan
    HebaruSan committed Feb 7, 2018
    Configuration menu
    Copy the full SHA
    9852b4c View commit details
    Browse the repository at this point in the history

Commits on Feb 9, 2018

  1. Show special message for GitHub 403 with option to jump to auth tokens

    @HebaruSan
    HebaruSan committed Feb 9, 2018
    Configuration menu
    Copy the full SHA
    990e923 View commit details
    Browse the repository at this point in the history

  2. Improve handling of repo update failures

    @HebaruSan
    HebaruSan committed Feb 9, 2018
    Configuration menu
    Copy the full SHA
    17cbcac View commit details
    Browse the repository at this point in the history