From a164254c1bc60b154fd17bfd03f9e1abb7db18fb Mon Sep 17 00:00:00 2001 From: Kai Koehler Date: Mon, 20 May 2024 17:01:19 -0700 Subject: [PATCH] Fix link to github.dev --- docs/technotes/edit-on-github.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/technotes/edit-on-github.rst b/docs/technotes/edit-on-github.rst index 801562bf..2c60fc66 100644 --- a/docs/technotes/edit-on-github.rst +++ b/docs/technotes/edit-on-github.rst @@ -25,7 +25,7 @@ For more details on this feature, see GitHub's `documentation on Editing files < Using github.dev ---------------- -An alternative approach is to use the [github.dev](https://github.dev) service. +An alternative approach is to use the `github.dev `__ service. Open the technote's GitHub page in your browser and press the :kbd:`.` key. This opens a basic VS Code editor in your browser. You can edit multiple files and commit your changes directly from the browser.