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.
GitHub mirror not updated
-
- Posts: 359
- Joined: Sat Jan 07, 2012 6:22 pm
- Location: Brazil
- Has thanked: 1 time
- Been thanked: 20 times
- Contact:
Re: GitHub mirror not updated
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.
- tfAteba
- Posts: 547
- Joined: Fri Oct 16, 2015 11:03 pm
- Location: Strasbourg, France
- Has thanked: 91 times
- Been thanked: 48 times
Re: GitHub mirror not updated
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.
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.
Theo.
Return to “Development and Feedback”
Who is online
Users browsing this forum: No registered users and 54 guests