Clone Github repo using https

[peterwilsoncc]

Some large corporations may set up their fancy corporate firewall to block the git protocol, in extreme instances they may even block ssh generally with the exception of a limited set of provides.

While engineers working for these companies may think such policies are outdated and fail to consider modern development practices, it is what it is.

Fortunately https is usually unblocked in such cases and has been since some time in the 1990s (or early 2000s at the latest).

To assist the engineers working behind such corporate firewalls, it would be handy to configure the default checkout to use https if a repository is not specified.

• Check if git://develop.git.wordpress.org/ checkout fails
• If failed, checkout https://github.com/wordpress/wordpress-develop

[BronsonQuick]

@peterwilsoncc Have you tried:

core-dev:
    mirror: https://github.com/WordPress/wordpress-develop.git

I haven't tested the mirror option so it might not work!

[peterwilsoncc]

@BronsonQuick In this hypothetical situation, yeah setting a custom repo works but I am wondering if we should be polite.

[BronsonQuick]

I'm not sure how to setup my network to replicate this. Do you reckon this is something you could have a crack at @peterwilsoncc?

[peterwilsoncc]

Yeah, I'll see if I can find such a network.

…

On Mon, Sep 16, 2019 at 12:16 PM Bronson Quick ***@***.***> wrote: I'm not sure how to setup my network to replicate this. Do you reckon this is something you could have a crack at @peterwilsoncc <https://github.com/peterwilsoncc>? — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub <#43?email_source=notifications&email_token=AAD64LY6ZOCGHLRDFLLQ5O3QJ3T6PA5CNFSM4IW4FMI2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOD6X6ZGQ#issuecomment-531623066>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AAD64L52GM2PVANF74STHPLQJ3T6PANCNFSM4IW4FMIQ> .

-- Peter Wilson, Web Developer +61 408 031 937 peterwilson.cc @PWCC <https://twitter.com/pwcc>

[rmccue]

@peterwilsoncc If this is port-based blocking, you could also consider changing your git config to use port 443.

[rmccue]

I just realised this is specifically for git.wordpress.org 🤦‍♂ Never mind!