Fix link to github.dev

lsst-sqre · Aug 22, 2024 · a164254 · a164254
1 parent 66c6dba
commit a164254
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 <https://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.