GitHub mirror not updated

This forum is dedicated to feedback, discussions about ongoing or future developments, ideas and suggestions regarding the ChibiOS projects are welcome. This forum is NOT for support.
User avatar
tfAteba
Posts: 526
Joined: Fri Oct 16, 2015 11:03 pm
Location: Chartres, France
Has thanked: 80 times
Been thanked: 46 times

GitHub mirror not updated

Postby tfAteba » Fri Aug 11, 2017 8:07 am

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.
regards,

Theo.

utzig
Posts: 355
Joined: Sat Jan 07, 2012 6:22 pm
Location: Brazil
Has thanked: 1 time
Been thanked: 19 times
Contact:

Re: GitHub mirror not updated

Postby utzig » Fri Aug 11, 2017 11:53 am

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.

User avatar
tfAteba
Posts: 526
Joined: Fri Oct 16, 2015 11:03 pm
Location: Chartres, France
Has thanked: 80 times
Been thanked: 46 times

Re: GitHub mirror not updated

Postby tfAteba » Fri Aug 11, 2017 1:10 pm

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.
regards,

Theo.


Return to “Development and Feedback”

Who is online

Users browsing this forum: No registered users and 3 guests