From mboxrd@z Thu Jan 1 00:00:00 1970 From: Thomas Petazzoni Date: Wed, 27 Jul 2016 22:25:22 +0200 Subject: [Buildroot] Access to Buildroot git via https In-Reply-To: <1469608243.6389.5.camel@synopsys.com> References: <1468831359.3068.19.camel@synopsys.com> <20160718104900.77748f2a@free-electrons.com> <1469608243.6389.5.camel@synopsys.com> Message-ID: <20160727222522.12c9ce82@free-electrons.com> List-Id: MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit To: buildroot@busybox.net 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