Website: Add and Edit Pages

New pages are added to the website inside one of the “collections” directories in the /pages directory. This can either be done by adding files locally or on Github (if hosted there).

A simple practice is to

Editing Pages on Github

If the website is hosted on Github, normal pages (i.e. not the listing pages for tags and categories) can be edited using Github’s online editor. A direct link is provided through an “edit” icon which should be visible in the lower right corner of the page. Clicking this will open the page’s source code in the Github editor; however, to change the code one still needs to click on the “edit” icon of the editor’s menu bar.

Saving changes follows standard Github protocol: Either directly pushing the changes (if you have access rights and this would be proper in the context of your project); or by creating a pull request.

@mbaudis 2019-03-25
Edit on Github...