Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Move project repositories to a persistent location #78

Closed
rjust opened this issue Apr 15, 2017 · 1 comment
Closed

Move project repositories to a persistent location #78

rjust opened this issue Apr 15, 2017 · 1 comment
Assignees

Comments

@rjust
Copy link
Owner

rjust commented Apr 15, 2017

Currently, the init.sh script downloads the project repositories from a URL that is subject to change. Since a URL change will break older releases, the project repositories should be accessible through a persistent link. Once this new URL is established, we should update the URL in older releases.

@rjust rjust self-assigned this Apr 15, 2017
@Greg4cr
Copy link
Collaborator

Greg4cr commented Feb 20, 2020

Closing, as I believe this has been fixed. URL https://defects4j.org/downloads/$ARCHIVE can remain persistent, i.e., by changing the server location behind the scenes.

@Greg4cr Greg4cr closed this as completed Feb 20, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants