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

chore: set up pre-commit hooks (DEV-2393) #420

Merged
merged 12 commits into from
Jun 28, 2023
Merged

chore: set up pre-commit hooks (DEV-2393) #420

merged 12 commits into from
Jun 28, 2023

Commits on Jun 27, 2023

  1. edit

    @jnussbaum
    jnussbaum committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    7cce336 View commit details
    Browse the repository at this point in the history

  2. edit

    @jnussbaum
    jnussbaum committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    2be3de0 View commit details
    Browse the repository at this point in the history

  3. edit

    @jnussbaum
    jnussbaum committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    9ea5c36 View commit details
    Browse the repository at this point in the history

  4. add more

    @jnussbaum
    jnussbaum committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    60a1a5a View commit details
    Browse the repository at this point in the history

Commits on Jun 28, 2023

  1. try

    @jnussbaum
    jnussbaum committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    d8ff7e3 View commit details
    Browse the repository at this point in the history

  2. try

    @jnussbaum
    jnussbaum committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    3c9a33c View commit details
    Browse the repository at this point in the history

  3. comment out check-links

    @jnussbaum
    jnussbaum committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    c2c4a03 View commit details
    Browse the repository at this point in the history

  4. edit

    @jnussbaum
    jnussbaum committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    09b5db6 View commit details
    Browse the repository at this point in the history

  5. edit

    @jnussbaum
    jnussbaum committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    035b7ed View commit details
    Browse the repository at this point in the history

  6. remove unused stuff

    @jnussbaum
    jnussbaum committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    8b520cf View commit details
    Browse the repository at this point in the history

  7. update readme

    @jnussbaum
    jnussbaum committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    a8a77d7 View commit details
    Browse the repository at this point in the history

  8. Merge branch 'main' into wip/configure-pre-commit

    @jnussbaum
    jnussbaum committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    d771c0f View commit details
    Browse the repository at this point in the history