GitHub Mirror misses branches

ChibiOS public support forum for all topics not covered by a specific support forum.

Moderators: RoccoMarco, lbednarz, utzig, tfAteba, barthess

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:

GitHub Mirror misses branches

Postby Thargon » Wed Feb 13, 2019 3:35 pm

Hi,

the GitHub mirror of the ChibiOS SVN misses quite many branches. So far I did not care because I'm only interested in the "stable_X.X.x" branches, but now the new stable_19.1.x was not added to the mirror. I would highly appreciate if this branch (or maybe even all branches) would be added to the mirror ;)

Thank you!
Thomas

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

Re: GitHub Mirror misses branches

Postby Giovanni » Wed Feb 13, 2019 3:50 pm

Hi,

You could also try to ping the community maintainer via the github page.

Giovanni

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 misses branches

Postby utzig » Wed Feb 13, 2019 4:12 pm

I added stable_19.1.x to the mirror.

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 misses branches

Postby Thargon » Thu Feb 14, 2019 10:02 am

Giovanni wrote:You could also try to ping the community maintainer via the github page.
I should have done so :oops:

utzig wrote:I added stable_19.1.x to the mirror.
Many thanks!


Return to “General Support”

Who is online

Users browsing this forum: No registered users and 12 guests