Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Remove devcontainer dependencies issue creation (#454)
Since #348 we no longer pin versions for the devcontainer dependencies. So we can remove the recurring creation of a GitHub issue to prompt us to update the pinned versions.
- Loading branch information