iot.eclipse.org should automatically pick up changes from github

We recently merged a patch for iot.eclipse.org but the update did not propagate automatically to production!

We need to automate this process to allow the webdev team to push updates to the site!

I think my preference will be to host the site via github pages (https://eclipsefdn.github.io/iot.eclipse.org/) via a reverse proxy similar to what is documented on this page:

https://blog.jeaye.com/2016/03/01/github-pages-https/

This issue was initially posted on Eclipse Foundation private infrazilla but I am moving it to github.

Benjamin, can you fix this problem this week? I would like to start pushing some improvements to the source code of the site and this would definitely make it easier for us to publish changes to iot.eclipse.org