GitHub mirror

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.
josesimoes
Posts: 91
Joined: Sat Feb 18, 2017 11:50 am
Has thanked: 43 times
Been thanked: 23 times

GitHub mirror

Postby josesimoes » Fri May 19, 2017 12:23 pm

Hi,

I was wondering what is the schedule update on the GtiHub mirror.
It seems to be behind the SVN repo quite often...

tecnologic
Posts: 124
Joined: Tue Jan 10, 2012 8:42 am
Has thanked: 21 times
Been thanked: 5 times

Re: GitHub mirror

Postby tecnologic » Sun May 21, 2017 8:42 pm

+1

User avatar
Giovanni
Site Admin
Posts: 14455
Joined: Wed May 27, 2009 8:48 am
Location: Salerno, Italy
Has thanked: 1076 times
Been thanked: 922 times
Contact:

Re: GitHub mirror

Postby Giovanni » Sun May 21, 2017 8:47 pm

Hi,

If you need reliable updates then please use the official subversion repository on sourceforge.

Also discussed here: viewtopic.php?f=35&t=4024#p29501

Giovanni

Thargon
Posts: 135
Joined: Wed Feb 04, 2015 5:03 pm
Location: CITEC, Bielefeld University, germany
Has thanked: 15 times
Been thanked: 24 times
Contact:

Re: GitHub mirror

Postby Thargon » Tue Jun 06, 2017 3:57 pm

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

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

Re: GitHub mirror

Postby utzig » Tue Jun 06, 2017 8:02 pm

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.

User avatar
barthess
Posts: 861
Joined: Wed Dec 08, 2010 7:55 pm
Location: Minsk, Belarus
Been thanked: 7 times

Re: GitHub mirror

Postby barthess » Wed Jun 07, 2017 9:39 pm

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.

User avatar
barthess
Posts: 861
Joined: Wed Dec 08, 2010 7:55 pm
Location: Minsk, Belarus
Been thanked: 7 times

Re: GitHub mirror

Postby barthess » Wed Jun 07, 2017 9:43 pm

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).

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

Re: GitHub mirror

Postby utzig » Thu Jun 08, 2017 12:17 am

I set up to update every 10 min. Let's wait for next commits to check if it works...

User avatar
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

Postby tfAteba » Sat Jun 10, 2017 2:05 am

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.txt

If you need my email address I can send you a PM.

Thanks,
regards,

Theo.

User avatar
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

Postby tfAteba » Sat Jun 10, 2017 9:12 am

regards,

Theo.


Return to “Development and Feedback”

Who is online

Users browsing this forum: Baidu [Spider] and 8 guests