(Geeky) Github usage...

Dear all,

Dave Longley drew my attention on a feature of github on the Web. If one pushes the '.' button while in the repo then the page changes for a web editor (and the URL changes to https://github.dev/w3c/XYZ <https://github.dev/w3c/XYZ>). What you get is a Web version of the Visual Studio Code text editor and you can directly edit and commit the repository's content. Mainly for those of us who use VSC (and therefore are familiar with the editor itself) this is, in fact, brilliant: it makes it very easy and quick to make changes on the repository.

The changes happen on the branch where you were when the "." character was pushed.

Ivan


----
Ivan Herman, W3C 
Home: http://www.w3.org/People/Ivan/
mobile: +33 6 52 46 00 43
ORCID ID: https://orcid.org/0000-0003-0782-2704