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

Separate goal state from protocol #1777

Merged
merged 7 commits into from
Feb 13, 2020
Merged

Separate goal state from protocol #1777

merged 7 commits into from
Feb 13, 2020

Commits on Feb 1, 2020

  1. goal state

    @narrieta
    narrieta committed Feb 1, 2020
    Configuration menu
    Copy the full SHA
    d813091 View commit details
    Browse the repository at this point in the history

Commits on Feb 7, 2020

  1. Test updates

    @narrieta
    narrieta committed Feb 7, 2020
    Configuration menu
    Copy the full SHA
    d55c1a9 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'develop' into goal-state

    @narrieta
    narrieta committed Feb 7, 2020
    Configuration menu
    Copy the full SHA
    402f339 View commit details
    Browse the repository at this point in the history

Commits on Feb 11, 2020

  1. Separate goal state from protocol

    @narrieta
    narrieta committed Feb 11, 2020
    Configuration menu
    Copy the full SHA
    01a11fb View commit details
    Browse the repository at this point in the history

  2. no need to remove previuos files

    @narrieta
    narrieta committed Feb 11, 2020
    Configuration menu
    Copy the full SHA
    1cfe951 View commit details
    Browse the repository at this point in the history

Commits on Feb 13, 2020

  1. Case insentive comparison; review feedback

    @narrieta
    narrieta committed Feb 13, 2020
    Configuration menu
    Copy the full SHA
    d19c41c View commit details
    Browse the repository at this point in the history

  2. Merge from develop

    @narrieta
    narrieta committed Feb 13, 2020
    Configuration menu
    Copy the full SHA
    7f2e6a6 View commit details
    Browse the repository at this point in the history