Skip to content

chore: fix devcontainer setup#4241

Merged
NGPixel merged 1 commit into
ietf-tools:mainfrom
NGPixel:fix-devcontainer-setup
Jul 23, 2022
Merged

chore: fix devcontainer setup#4241
NGPixel merged 1 commit into
ietf-tools:mainfrom
NGPixel:fix-devcontainer-setup

Conversation

@NGPixel

@NGPixel NGPixel commented Jul 23, 2022

Copy link
Copy Markdown
Member

No description provided.

@NGPixel
NGPixel requested a review from rjsparks July 23, 2022 14:23
@NGPixel
NGPixel marked this pull request as draft July 23, 2022 14:23
@NGPixel
NGPixel force-pushed the fix-devcontainer-setup branch from e438edd to bfae935 Compare July 23, 2022 14:25
@NGPixel
NGPixel marked this pull request as ready for review July 23, 2022 14:29
@NGPixel
NGPixel merged commit 9e55ec1 into ietf-tools:main Jul 23, 2022
@NGPixel
NGPixel deleted the fix-devcontainer-setup branch July 23, 2022 14:33
@github-actions github-actions Bot locked as resolved and limited conversation to collaborators Jul 27, 2022
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