donv opened this issue 2 years ago · 0 comments
Publishing updated GitHub pages fails, and I prefer to postpone fixing it until we get the plugins approved at plugin portal.