Important reminders before making edits to the website

1. Tip for web editing on GitHub

To get started it is helpful to view the code of the current page.

To launch the GitHub web editor for this page (and any other page of the website) click on the GitHub icon in the lower right corner.

If you understand what’s going on you can try editing this page. However, if the source contains includes (such as {% include seminar_main_page.html %}) then you typically should not edit this page.

Edits (web or local) take up to five minutes to appear on the actual website. The current build status can be viewed by clicking on the checkmark icon next to the GitHub icon in the lower right corner of each page.

2. Do not forget to sync with GitHub when editing locally

(This does not apply if you’re making changes in the web editor)

If using a local copy of the website code, make sure to sync before your first edit. This will help avoid git conflicts. Also remember that the website will be built and updated with your local changes only upon syncing with the GitHub.

Remember! If you edit on the web then the web changes should also be synced with the local ones.

For internal links (when referencing a page on the department website) in pages’ contents please use {{site.url}} instead of an actual URL of the website or relative paths. The expression {{site.url}} will become the actual website URL which is

For example, the current page should be referenced as

{{ site.url }}/doc/reminders/

It can also be referenced as

{{ site.url }}{{ page.url }}

Both expressions turn into the correct address of the current page which is See Jekyll documentation for more details.