Skip to content
This repository has been archived by the owner on Nov 7, 2024. It is now read-only.

Feat: Add GitHub Cli to devcontainer #117

Merged
merged 1 commit into from
Oct 24, 2023

Conversation

mthiel117
Copy link
Collaborator

Add GitHub Cli to extension to devcontainer. No other changes. Users will need to rebuild container
to take activate it.

@JulioPDX
Copy link
Collaborator

LGTM

@JulioPDX JulioPDX merged commit 6dd61cd into aristanetworks:main Oct 24, 2023
2 checks passed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants