github.dev
https://docs.github.com/ja/codespaces/the-githubdev-web-based-editor#
changing branch
2つ方法がある
editorにfocusを当てた後、
<S-C-P>
でcommand palettを開き
switch to branch
を検索・実行する
以下の書式のURLにアクセスする
https://github.dev/:username/:repository_name/tree/:branch_name
#2022-01-03
08:32:13