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

Get rid of wget and use curl instead of it #100

Merged

Conversation

sarroutbi
Copy link
Contributor

Resolves: #93

@sarroutbi sarroutbi force-pushed the 202404051540-wget-to-curl branch 2 times, most recently from 684119f to 333e421 Compare April 5, 2024 14:29
@sarroutbi sarroutbi force-pushed the 202404051540-wget-to-curl branch from 333e421 to 3c1f2cb Compare April 5, 2024 14:37
@sarroutbi sarroutbi marked this pull request as ready for review April 5, 2024 15:20
@sarroutbi
Copy link
Contributor Author

Having a look at: https://artifacts.dev.testing-farm.io/79ac3291-73b4-4ea8-b7cd-f8bad717aff5/

It seems the only issue taking place is the one fixed by change #92 .

Merging

@sarroutbi sarroutbi merged commit 4162952 into RedHat-SP-Security:main Apr 5, 2024
0 of 3 checks passed
@sarroutbi sarroutbi deleted the 202404051540-wget-to-curl branch April 5, 2024 15:40
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.

Get rid of wget (use curl instead)
2 participants