On Thu, Nov 16, 2017, 8:35 AM Bastien Guerry <bzg@gnu.org> wrote:

Hi Kaushal,

I can pull/push for org-mode and worg correctly, I'm not sure what
could be wrong on the server, nothing changed in a while.

Thanks for checking.

Can you also check if my last commit failed worg build?

Shouldn't that commit update this page: http://orgmode.org/worg/org-blog-wiki.html ? But it hasn't been updated.

Kaushal Modi