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

Devcontainer tweaks #846

Merged
merged 6 commits into from
Aug 16, 2024
Merged

Devcontainer tweaks #846

merged 6 commits into from
Aug 16, 2024

Commits on Aug 16, 2024

  1. Prime the devcontainer with github's ssh keys to avoid prompting duri…

    …ng scripted operations
    bpkroth committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    f0ddcc0 View commit details
    Browse the repository at this point in the history
  2. tweak

    bpkroth committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    753c511 View commit details
    Browse the repository at this point in the history
  3. tweaks

    bpkroth committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    d868702 View commit details
    Browse the repository at this point in the history
  4. add a test for the change too

    bpkroth committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    69eb601 View commit details
    Browse the repository at this point in the history
  5. fixup

    bpkroth committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    28de2b8 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    aa2f020 View commit details
    Browse the repository at this point in the history