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

Rename the assign command to request. #106

Merged
merged 11 commits into from
Jan 15, 2024
Merged

Rename the assign command to request. #106

merged 11 commits into from
Jan 15, 2024

Commits on Jan 8, 2024

  1. README updates

    @mattpolzin
    mattpolzin committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    fdb2eec View commit details
    Browse the repository at this point in the history

  2. update configuration option names and outputs

    @mattpolzin
    mattpolzin committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    e92a47f View commit details
    Browse the repository at this point in the history

  3. add request command and deprecate the assign command

    @mattpolzin
    mattpolzin committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    febca2c View commit details
    Browse the repository at this point in the history

  4. fix print warning function

    @mattpolzin
    mattpolzin committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    cd5cf3b View commit details
    Browse the repository at this point in the history

  5. re-introduce deprecated options support with the config command

    @mattpolzin
    mattpolzin committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    e9a937b View commit details
    Browse the repository at this point in the history

  6. make todo-check script a bit easier to use. bump to version 4. update… 

    … TODOs to version 5.
    @mattpolzin
    mattpolzin committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    3c4a569 View commit details
    Browse the repository at this point in the history

Commits on Jan 9, 2024

  1. use reflection to populate property proofs that were annoying to update.

    @mattpolzin
    mattpolzin committed Jan 9, 2024
    Configuration menu
    Copy the full SHA
    f7e70fc View commit details
    Browse the repository at this point in the history

Commits on Jan 11, 2024

  1. merge w/ main

    @mattpolzin
    mattpolzin committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    bfe22af View commit details
    Browse the repository at this point in the history

Commits on Jan 15, 2024

  1. merge w/ main branch

    @mattpolzin
    mattpolzin committed Jan 15, 2024
    Configuration menu
    Copy the full SHA
    e39cb4c View commit details
    Browse the repository at this point in the history

  2. update expected help output

    @mattpolzin
    mattpolzin committed Jan 15, 2024
    Configuration menu
    Copy the full SHA
    80c2e78 View commit details
    Browse the repository at this point in the history

  3. make options wrap when line length gets too long

    @mattpolzin
    mattpolzin committed Jan 15, 2024
    Configuration menu
    Copy the full SHA
    12f2a6e View commit details
    Browse the repository at this point in the history