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.

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

Move genflags tool to cmd/ and pin to previous release #1451

Merged
merged 3 commits into from Aug 16, 2022

Commits on Aug 14, 2022

  1. Move genflags tool to cmd/ and pin to previous release

    to alleviate problems caused by the circular dependency of using the
    same code as a library that is potentially being generated to adhere to
    a different API.
    meatballhat committed Aug 14, 2022
    Configuration menu
    Copy the full SHA
    3e4237a View commit details
    Browse the repository at this point in the history
  2. Tidy up top-level go.mod

    meatballhat committed Aug 14, 2022
    Configuration menu
    Copy the full SHA
    a8966ca View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    234972e View commit details
    Browse the repository at this point in the history