Skip to content

Comments

Update wget command to use refs/heads/main#18

Closed
derschiw wants to merge 1 commit intoaibasel:mainfrom
derschiw:main
Closed

Update wget command to use refs/heads/main#18
derschiw wants to merge 1 commit intoaibasel:mainfrom
derschiw:main

Conversation

@derschiw
Copy link

Update the wget request as the current URL returns 404.

@jendrikseipp
Copy link
Contributor

Thanks for the PR, but the old URLs work for me.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants