GitHub Mirror misses branches

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

Moderators: RoccoMarco, lbednarz, tfAteba

Post Reply
Thargon
Posts: 135
Joined: Wed Feb 04, 2015 5:03 pm
Has thanked: 15 times
Been thanked: 24 times

GitHub Mirror misses branches

Post by Thargon »

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: 14892
Joined: Wed May 27, 2009 8:48 am
Has thanked: 1202 times
Been thanked: 996 times

Re: GitHub Mirror misses branches

Post by Giovanni »

Hi,

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

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

Re: GitHub Mirror misses branches

Post by utzig »

I added stable_19.1.x to the mirror.
Top
Thargon
Posts: 135
Joined: Wed Feb 04, 2015 5:03 pm
Has thanked: 15 times
Been thanked: 24 times

Re: GitHub Mirror misses branches

Post by Thargon »

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”