Page 1 of 1

GitHub mirror not updated

Posted: Fri Aug 11, 2017 8:07 am
by tfAteba
Hi all,

A couple of commits have been made this last days on the SVN repository.
But the github mirror is not seems to be update. I know it must update every 10mn. So there is may be a problem :( with the sync process.

Thank you Utzig if you can resolve the problem. I do not know if Giovanni have an access to it.

Re: GitHub mirror not updated

Posted: Fri Aug 11, 2017 11:53 am
by utzig
Yeah, it breaks every time a new use is added to the SVN repository. I will try to update the update script to automatically update with a fake user/email but then the ideal would be to have the proper email if users actually use github.

Re: GitHub mirror not updated

Posted: Fri Aug 11, 2017 1:10 pm
by tfAteba
I don't know if it is common action to add a user to the SVN repository.

So you can do a test as you said with a fake user/email while waiting for the next user who will be add to the SVN. It is a good starting point.

Thanks for this clarification.