Page 1 of 1
GitHub mirror
Posted: Fri May 19, 2017 12:23 pm
by josesimoes
Hi,
I was wondering what is the schedule update on the GtiHub mirror.
It seems to be behind the SVN repo quite often...
Re: GitHub mirror
Posted: Sun May 21, 2017 8:42 pm
by tecnologic
+1
Re: GitHub mirror
Posted: Sun May 21, 2017 8:47 pm
by Giovanni
Hi,
If you need reliable updates then please use the official subversion repository on sourceforge.
Also discussed here:
viewtopic.php?f=35&t=4024#p29501Giovanni
Re: GitHub mirror
Posted: Tue Jun 06, 2017 3:57 pm
by Thargon
Hi,
I understand that managing two mirrors is redundant work, but for my project I can hardly use SVN. My own code uses GIT and I use submodules to include ChibiOS. I could do this in another way, but submodules offer sanity checks (i.e. commit) and are much more convenient to use than doing all the stuff manually.
Maybe there is a way to automatically synchronize the GIT mirror with the SVN once a day or so? Any appropriate schedule would be very welcome

- Thomas
Re: GitHub mirror
Posted: Tue Jun 06, 2017 8:02 pm
by utzig
Well, I do have some spare VPS with "infinite" bandwidth that could run a sync every 10 min. If barthess doesn't mind making the whole original current package plus scripts available, I can probably do the mirror on one of those VPSs. Also I guess I already have write access to the git repo.
Re: GitHub mirror
Posted: Wed Jun 07, 2017 9:39 pm
by barthess
Main mirror's problem is its fragility. It requires manual house keeping from time to time. Adding new branches or new names to author.txt for example.
Re: GitHub mirror
Posted: Wed Jun 07, 2017 9:43 pm
by barthess
Any way, here is ready to use archive
https://yadi.sk/d/C-3kFuKa3JvLeZ Or you can create your own copy using this repo
https://github.com/ChibiOS/maintenance (it contains all that I use).
Re: GitHub mirror
Posted: Thu Jun 08, 2017 12:17 am
by utzig
I set up to update every 10 min. Let's wait for next commits to check if it works...
Re: GitHub mirror
Posted: Sat Jun 10, 2017 2:05 am
by tfAteba
Hi all,
I have just made a couple of commits to the svn repository

, I'm happy to confirm you that the github repository is correctly update from the svn. I did not made a measurement to see how many time it take to update (sorry) but it was about 13 and 12 minutes of refreshment. This time was given by the github tool.
Utzig, I sow your discussion with Barthess, could you please correct my email address on the authors.txt file from the following link:
httpshttps://github.com/ChibiOS/maintenance/blob/master/authors.txtIf you need my email address I can send you a PM.
Thanks,
Re: GitHub mirror
Posted: Sat Jun 10, 2017 9:12 am
by tfAteba