Update pretext and devcontainer version (#114)#116

braughtg wants to merge 1 commit intomainHFOSSedu/GitKit-Codespace:mainfrom

test-new-dev-containerHFOSSedu/GitKit-Codespace:test-new-dev-containerCopy head branch name to clipboard