Re: [cbi-dev] Could not resolve host: github.com

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

Re: [cbi-dev] Could not resolve host: github.com

From: Liviu Ionescu <ilg@xxxxxxxxxx>
Date: Tue, 3 Nov 2020 10:40:08 +0200
Delivered-to: cbi-dev@xxxxxxxxxxx
List-archive: <https://www.eclipse.org/mailman/private/cbi-dev>
List-help: <mailto:cbi-dev-request@eclipse.org?subject=help>
List-subscribe: <https://www.eclipse.org/mailman/listinfo/cbi-dev>, <mailto:cbi-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://www.eclipse.org/mailman/options/cbi-dev>, <mailto:cbi-dev-request@eclipse.org?subject=unsubscribe>

> On 3 Nov 2020, at 09:32, Mikael Barbero <mikael.barbero@xxxxxxxxxxxxxxxxxxxxxx> wrote:
> 
> 
> We had a transient network issue yesterday, but everything should be fine for quite some time now. Feel free to reopen if you still face issues.

Now I can connect to GitHub, but there is still something wrong:

https://ci.eclipse.org/embed-cdt/job/build-plug-ins/job/rename-bundles/2/console

If I run a manual `git clone --recurse-submodule https://github.com/eclipse-embed-cdt/eclipse-plugins`, it seems ok.

Any idea?

Regards,

Liviu

Follow-Ups:
- Re: [cbi-dev] Could not resolve host: github.com
  - From: Mikael Barbero

References:
- [cbi-dev] Could not resolve host: github.com
  - From: Liviu Ionescu
- Re: [cbi-dev] Could not resolve host: github.com
  - From: Mikael Barbero

Prev by Date: Re: [cbi-dev] Could not resolve host: github.com
Next by Date: Re: [cbi-dev] Could not resolve host: github.com
Previous by thread: Re: [cbi-dev] Could not resolve host: github.com
Next by thread: Re: [cbi-dev] Could not resolve host: github.com
Index(es):
- Date
- Thread

Breadcrumbs