Instructions to run the devcontainer locally#1568

encukou merged 2 commits intopython:mainpython/devguide:mainfrom

encukou:container-localencukou/devguide:container-localCopy head branch name to clipboard