如何关闭 GitHub 代码空间?

How to power down GitHub Codespaces?

我可能遗漏了一些非常明显的东西,但我没有找到关闭 GitHub Codespaces 以避免额外费用的方法。现在它是免费的,但很快就不会了……我也翻阅了文档,但一无所获。也许就像关闭浏览器选项卡一样简单?我确实知道它会在一段时间后超时,但我希望先发制人。

您可以从命令面板明确停止代码空间:

您可以通过状态栏中的 ><代码空间 选项快速访问它。