Open tomschr opened 9 years ago
I'm not sure if that is really needed since we make updates directly in our gh-pages
branch and we rarely update our gh-pages
branch.
I mean we can implement it - I'm not fully against it but I don't see the sense behind it.
Not really necessary; just an idea when we have some time. I think, we have some more pressing issues than this. :smiley:
Inspired by this blog article: http://blog.ionelmc.ro/2015/07/11/publishing-to-github-pages-from-travis-ci/
Could/should we do this for DM as well?