.devcontainer: settings for a codespace workflow Add devcontainer settings for running within a codespace.
2020-05-10T17:04:54