[Buildroot] Access to Buildroot git via https

[Peter Korsgaard]

>>>>> "Thomas" == Thomas Petazzoni <thomas.petazzoni at free-electrons.com> writes:

 > Hello,
 > On Wed, 27 Jul 2016 08:32:13 +0000, Alexey Brodkin wrote:

 >> I just noticed GitHub repo was not updated in 10 days.
 >> Is there a problem with it?

 > My mistake. Some time ago, someone (Romain?) reported that the new tags
 > were not pushed to the Github repository. So I changed the "git push"
 > in my script to "git push --tags". Except that this only seems to push
 > the tags, not the commits themselves when there are new commits but no
 > new tags.

 > So I'm now doing a "git push" *and* a "git push --tags". This should
 > hopefully fix the problem.

I *think* you can use git push --all.

-- 
Venlig hilsen,
Peter Korsgaard