Delete content/codespaces/about-codespaces/what-are-codespaces.md#37472

1dg397 wants to merge 1 commit intogithub:maingithub/docs:mainfrom

1dg397:patch-11dg397/docs:patch-1Copy head branch name to clipboard