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

[Mikael Barbero <mikael.barbero@xxxxxxxxxxxxxxxxxxxxxx>]

This is not related. Please open a bugzilla ticket so we can investigate. 

Thanks.

Mikaël Barbero 

Manager — Release Engineering and Technology | Eclipse Foundation

🐦 @mikbarbero

Eclipse Foundation: The Platform for Open Innovation and Collaboration

On 3 Nov 2020, at 09:40, Liviu Ionescu <ilg@xxxxxxxxxx> wrote:

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

_______________________________________________
cbi-dev mailing list
cbi-dev@xxxxxxxxxxx
To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/cbi-dev

Attachment: signature.asc
Description: Message signed with OpenPGP