GitHub Mirror misses branches

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

Moderators: utzig, lbednarz, tfAteba, barthess, RoccoMarco

Post Reply
Thargon
Posts: 105
Joined: Wed Feb 04, 2015 5:03 pm
Location: CITEC, Bielefeld University, germany
Has thanked: 11 times
Been thanked: 17 times

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
Top
User avatar
Giovanni
Site Admin
Posts: 12294
Joined: Wed May 27, 2009 8:48 am
Location: Salerno, Italy
Has thanked: 590 times
Been thanked: 503 times
Contact:
Contact Giovanni

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
Top
utzig
Posts: 355
Joined: Sat Jan 07, 2012 6:22 pm
Location: Brazil
Has thanked: 1 time
Been thanked: 19 times
Contact:
Contact utzig

Re: GitHub Mirror misses branches

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

I added stable_19.1.x to the mirror.
Top
Thargon
Posts: 105
Joined: Wed Feb 04, 2015 5:03 pm
Location: CITEC, Bielefeld University, germany
Has thanked: 11 times
Been thanked: 17 times

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!
Top
Post Reply

Return to “General Support”

Who is online

Users browsing this forum: No registered users and 2 guests