github.dev Web ベースのエディターを使ってファイルを編集し、変更をコミットできます。