search

rjust / defects4j

A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research
MIT License
717 stars 299 forks source link

defects4j.org SSL certificate expired #550

Closed vp35-illinois-edu closed 8 months ago

vp35-illinois-edu commented 8 months ago

0.467 curl: (60) SSL certificate problem: certificate has expired

It seems like defects4j.org's SSL certificate expired. 

Issued On   Tuesday, January 31, 2023 at 6:00:00 PM
Expires On  Thursday, February 1, 2024 at 5:59:59 PM

The zip file is hosted there. https://defects4j.org/downloads/defects4j-repos.zip

rjust commented 8 months ago

Thanks for reporting! Will get this resolved asap.

rjust commented 8 months ago

This should be resolved pretty soon.

As a workaround, add the following option to wget or curl, which ignores the expired certificate.

OSX: Add --no-check-certificate on line 41 in get_repos.sh

Other OS: Add --insecure on line 43 in get_repos.sh

I'll update this issue as soon as the newly issued certificate is in place.

Sorry about the trouble.

rjust commented 8 months ago

The new certificate is in place. The workaround is no longer needed.