[Buildroot] Access to Buildroot git via https

[Buildroot] Access to Buildroot git via https

[Alexey Brodkin]

Hi Peter,

I'm wondering if there's a way to access Buildroot main git repo via HTTPS?
Here (https://git.busybox.net/buildroot/) it is mentioned only git protocol URL:
git://git.busybox.net/buildroot which doesn't work behind some corporate firewalls
(and I'm tired asking IT guys to open git port for each particular server IP).

IMHO HTTPS option would be very convenient especially keeping in mind very few
people have rights to commit.


-Alexey

[Buildroot] Access to Buildroot git via https

[Thomas Petazzoni]

Hello,

On Mon, 18 Jul 2016 08:44:00 +0000, Alexey Brodkin wrote:

> I'm wondering if there's a way to access Buildroot main git repo via HTTPS?
> Here (https://git.busybox.net/buildroot/) it is mentioned only git protocol URL:
> git://git.busybox.net/buildroot which doesn't work behind some corporate firewalls
> (and I'm tired asking IT guys to open git port for each particular server IP).
> 
> IMHO HTTPS option would be very convenient especially keeping in mind very few
> people have rights to commit.

It would indeed be useful. But in the mean time, you can already get
Buildroot from https://, by using the Github mirror at
https://github.com/buildroot/buildroot/. The Github mirror is updated
every 10 minutes.

Thomas
-- 
Thomas Petazzoni, CTO, Free Electrons
Embedded Linux, Kernel and Android engineering
http://free-electrons.com

[Buildroot] Access to Buildroot git via https

[Alexey Brodkin]

Hi Thomas,

On Mon, 2016-07-18 at 10:49 +0200, Thomas Petazzoni wrote:
> Hello,
> 
> On Mon, 18 Jul 2016 08:44:00 +0000, Alexey Brodkin wrote:
> 
> > 
> > I'm wondering if there's a way to access Buildroot main git repo via HTTPS?
> > Here (https://git.busybox.net/buildroot/) it is mentioned only git protocol URL:
> > git://git.busybox.net/buildroot which doesn't work behind some corporate firewalls
> > (and I'm tired asking IT guys to open git port for each particular server IP).
> > 
> > IMHO HTTPS option would be very convenient especially keeping in mind very few
> > people have rights to commit.
> It would indeed be useful. But in the mean time, you can already get
> Buildroot from https://, by using the Github mirror at
> https://github.com/buildroot/buildroot/.

Indeed that's what I did but from purist POV true mainline git repo
is a little-bit better solution :)

-Alexey

[Buildroot] Access to Buildroot git via https

[Bernd Kuhls]

Am Mon, 18 Jul 2016 10:49:00 +0200 schrieb Thomas Petazzoni:

> https://github.com/buildroot/buildroot/. The Github mirror is updated
> every 10 minutes.

Hi Thomas,

all commits from yesterday did not reach github, maybe related to the
server migration described by Peter?

Regards, Bernd

[Buildroot] Access to Buildroot git via https

[Alexey Brodkin]

Hi Thomas,

On Mon, 2016-07-18 at 10:49 +0200, Thomas Petazzoni wrote:
> Hello,
> 
> On Mon, 18 Jul 2016 08:44:00 +0000, Alexey Brodkin wrote:
> 
> > 
> > I'm wondering if there's a way to access Buildroot main git repo via HTTPS?
> > Here (https://git.busybox.net/buildroot/) it is mentioned only git protocol URL:
> > git://git.busybox.net/buildroot which doesn't work behind some corporate firewalls
> > (and I'm tired asking IT guys to open git port for each particular server IP).
> > 
> > IMHO HTTPS option would be very convenient especially keeping in mind very few
> > people have rights to commit.
> 
> It would indeed be useful. But in the mean time, you can already get
> Buildroot from https://, by using the Github mirror at
> https://github.com/buildroot/buildroot/. The Github mirror is updated
> every 10 minutes.

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

The last commit on GitHub is "directfb: depends on NPTL threading".

-Alexey	

[Buildroot] Access to Buildroot git via https

[Thomas Petazzoni]

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.

Thanks,

Thomas
-- 
Thomas Petazzoni, CTO, Free Electrons
Embedded Linux, Kernel and Android engineering
http://free-electrons.com

[Buildroot] Access to Buildroot git via https

[Peter Korsgaard]

>>>>> "Thomas" == Thomas Petazzoni <thomas.petazzoni@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 

[Buildroot] Access to Buildroot git via https

[Alexey Brodkin]

Hi Peter, Thomas,

On Wed, 2016-07-27 at 22:52 +0200, Peter Korsgaard wrote:
> > 
> > > 
> > > > 
> > > > > 
> > > > > > 
> > > > > > "Thomas" == Thomas Petazzoni <thomas.petazzoni@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.

At least now GitHub tree matches?https://git.busybox.net/buildroot/.
Thanks a lot for a prompt fix!

-Alexey

[Buildroot] Access to Buildroot git via https

[Yann E. MORIN]

Alexey, All,

On 2016-07-18 08:44 +0000, Alexey Brodkin spake thusly:
> I'm wondering if there's a way to access Buildroot main git repo via HTTPS?
> Here (https://git.busybox.net/buildroot/) it is mentioned only git protocol URL:

I just tried this:

    $ git clone https://git.busybox.net/buildroot/
    Cloning into 'buildroot'...
    [...]

So it works. But it is slow as hell...

Regards,
Yann E. MORIN.

> git://git.busybox.net/buildroot which doesn't work behind some corporate firewalls
> (and I'm tired asking IT guys to open git port for each particular server IP).
> 
> IMHO HTTPS option would be very convenient especially keeping in mind very few
> people have rights to commit.
> 
> 
> -Alexey
> _______________________________________________
> buildroot mailing list
> buildroot at busybox.net
> http://lists.busybox.net/mailman/listinfo/buildroot

-- 
.-----------------.--------------------.------------------.--------------------.
|  Yann E. MORIN  | Real-Time Embedded | /"\ ASCII RIBBON | Erics' conspiracy: |
| +33 662 376 056 | Software  Designer | \ / CAMPAIGN     |  ___               |
| +33 223 225 172 `------------.-------:  X  AGAINST      |  \e/  There is no  |
| http://ymorin.is-a-geek.org/ | _/*\_ | / \ HTML MAIL    |   v   conspiracy.  |
'------------------------------^-------^------------------^--------------------'

[Buildroot] Access to Buildroot git via https

[Thomas Petazzoni]

Hello,

On Tue, 19 Jul 2016 08:28:52 +0200, Yann E. MORIN wrote:
> Alexey, All,
> 
> On 2016-07-18 08:44 +0000, Alexey Brodkin spake thusly:
> > I'm wondering if there's a way to access Buildroot main git repo via HTTPS?
> > Here (https://git.busybox.net/buildroot/) it is mentioned only git protocol URL:  
> 
> I just tried this:
> 
>     $ git clone https://git.busybox.net/buildroot/
>     Cloning into 'buildroot'...
>     [...]

Then it is sad that the https:// address is not mentioned in
https://git.buildroot.org/buildroot/ under the "Clone:" section.

Thomas
-- 
Thomas Petazzoni, CTO, Free Electrons
Embedded Linux, Kernel and Android engineering
http://free-electrons.com

[Buildroot] Access to Buildroot git via https

[Alexey Brodkin]

Hi Thomas, Yann,

On Tue, 2016-07-19 at 09:13 +0200, Thomas Petazzoni wrote:
> Hello,
> 
> On Tue, 19 Jul 2016 08:28:52 +0200, Yann E. MORIN wrote:
> > 
> > Alexey, All,
> > 
> > On 2016-07-18 08:44 +0000, Alexey Brodkin spake thusly:
> > > 
> > > I'm wondering if there's a way to access Buildroot main git repo via HTTPS?
> > > Here (https://git.busybox.net/buildroot/) it is mentioned only git protocol URL:??
> > I just tried this:
> > 
> > ????$ git clone https://git.busybox.net/buildroot/
> > ????Cloning into 'buildroot'...
> > ????[...]
> Then it is sad that the https:// address is not mentioned in
> https://git.buildroot.org/buildroot/ under the "Clone:" section.

That's exactly what I meant - why don't we add that URL there?

-Alexey

[Buildroot] Access to Buildroot git via https

[Peter Korsgaard]

>>>>> "Alexey" == Alexey Brodkin <Alexey.Brodkin@synopsys.com> writes:

Hi,

 >> > I just tried this:
 >> > 
 >> > ????$ git clone https://git.busybox.net/buildroot/
 >> > ????Cloning into 'buildroot'...
 >> > ????[...]
 >> Then it is sad that the https:// address is not mentioned in
 >> https://git.buildroot.org/buildroot/ under the "Clone:" section.

 > That's exactly what I meant - why don't we add that URL there?

I've taken a look at the cgit documentation and added it now, thanks.

-- 
Bye, Peter Korsgaard

[Buildroot] Access to Buildroot git via https

[Alexey Brodkin]

Hi Peter,

On Wed, 2016-08-03 at 21:48 +0200, Peter Korsgaard wrote:
> > 
> > > 
> > > > 
> > > > > 
> > > > > > 
> > > > > > "Alexey" == Alexey Brodkin <Alexey.Brodkin@synopsys.com> writes:
> 
> Hi,
> 
> ?>> > I just tried this:
> ?>> >?
> ?>> > ????$ git clone https://git.busybox.net/buildroot/
> ?>> > ????Cloning into 'buildroot'...
> ?>> > ????[...]
> ?>> Then it is sad that the https:// address is not mentioned in
> ?>> https://git.buildroot.org/buildroot/ under the "Clone:" section.
> 
> ?> That's exactly what I meant - why don't we add that URL there?
> 
> I've taken a look at the cgit documentation and added it now, thanks.

That's rally?awesome!

Thanks for doing that.

-Alexey