Skip to content
This repository has been archived by the owner on Sep 9, 2020. It is now read-only.

gps: Adaptively clean dirty git repos #1279

Merged
merged 5 commits into from
Oct 29, 2017
Merged

Commits on Oct 29, 2017

  1. gps: Adaptively clean dirty git repos

    Instead of forcing the user to clean up dirty git repositories, we can
    take at least basic steps to doing it ourselves - or, if we detect
    problems, instructing the user to fix it.
    
    The overhead introduced here is a `git status` call, which will be
    non-negligible on larger repos, but it's probably worth it for the
    resilient behavior.
    sdboyer committed Oct 29, 2017
    Configuration menu
    Copy the full SHA
    3be7c06 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    fbaade3 View commit details
    Browse the repository at this point in the history
  3. gps: Tests for adaptive git repo recovery/cleanup

    This covers three basic cases - untracked files, modified files, and
    some corruption in the .git directory. The first two are plausible; the
    third is less so, as we don't know much about what real git failure
    patterns could look like in the .git directory itself. However, it's
    an adequate test inasmuch as it triggers failure in the basic git calls
    we make, thereby triggering the recovery procedure.
    sdboyer committed Oct 29, 2017
    Configuration menu
    Copy the full SHA
    cde77d8 View commit details
    Browse the repository at this point in the history
  4. Update CHANGELOG

    sdboyer committed Oct 29, 2017
    Configuration menu
    Copy the full SHA
    ea9a941 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    123ba6b View commit details
    Browse the repository at this point in the history