Issue with org git repo and/or worg?

Issue with org git repo and/or worg?

[Kaushal Modi]

[-- Attachment #1: Type: text/plain, Size: 510 bytes --]

Hello,

I was unable to pull from the orgmode.org git repo via http.

Later in the day I made one commit to the worg git repo. But that change
hasn't yet been published on worg.

I am assuming that the org and worg repos are hosted from the same machine?
If so, something not right with the served git repos, or I messed up my
worg commit (I reviewed the commit[1] again.. not sure what's wrong).

[1]:
http://orgmode.org/w/?p=worg.git;a=commitdiff;h=5c3afcbbd4d2c39e78f805008e2215470c908bbc
-- 

Kaushal Modi

[-- Attachment #2: Type: text/html, Size: 867 bytes --]

Re: Issue with org git repo and/or worg?

[Bastien Guerry]

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.

Hope you can find a solution!

-- 
 Bastien

Re: Issue with org git repo and/or worg?

[Kaushal Modi]

[-- Attachment #1: Type: text/plain, Size: 427 bytes --]

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

[-- Attachment #2: Type: text/html, Size: 1047 bytes --]

Re: Issue with org git repo and/or worg?

[Kaushal Modi]

[-- Attachment #1: Type: text/plain, Size: 579 bytes --]

On Thu, Nov 16, 2017 at 9:23 AM Kaushal Modi <kaushal.modi@gmail.com> wrote:

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

And it looks like worg stopped updating since this commit (the commit prior
to mine):
http://repo.or.cz/worg.git/commitdiff/0fd04017dc72f15baafed59968ca6f4ba30c26ea

Here's the commit log for worg: http://repo.or.cz/worg.git/shortlog

(Also copying Matt as he is mentioned here:
http://orgmode.org/worg/worg-maintainance.html )
-- 

Kaushal Modi

[-- Attachment #2: Type: text/html, Size: 1478 bytes --]

Re: Issue with org git repo and/or worg?

[Bastien Guerry]

Hi Kaushal,

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

I've fix something in the Worg publishing configuration, can you
check again, maybe by making a test commit?

Thanks!

-- 
 Bastien

Re: Issue with org git repo and/or worg?

[Kaushal Modi]

[-- Attachment #1: Type: text/plain, Size: 274 bytes --]

On Tue, Dec 5, 2017 at 11:44 AM Bastien Guerry <bzg@gnu.org> wrote:

> I've fix something in the Worg publishing configuration, can you
> check again, maybe by making a test commit?
>

Thank you! It just made another commit and it got published instantly.
-- 

Kaushal Modi

[-- Attachment #2: Type: text/html, Size: 651 bytes --]

Re: Issue with org git repo and/or worg?

[Bastien Guerry]

Kaushal Modi <kaushal.modi@gmail.com> writes:

> Thank you! It just made another commit and it got published
> instantly.

Great, thanks for confirming.

-- 
 Bastien