Skip to content

Update download locations to outside repository content #102

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

Merged
merged 18 commits into from
Jun 5, 2025

Conversation

kar-rahul-aws
Copy link
Member

Description

This PR updates all download commands ( such as curl or wget ) to download files outside the repository content.

Test Steps

NA

Checklist:

  • I have tested my changes. No regression in existing tests.
  • I have modified and/or added unit-tests to cover the code changes in this Pull Request.

Related Issue

NA

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.

@kar-rahul-aws kar-rahul-aws changed the title Update download locations to outside repository content [ DO NOT MERGE ]Update download locations to outside repository content Jun 2, 2025
@aggarg aggarg changed the title [ DO NOT MERGE ]Update download locations to outside repository content Update download locations to outside repository content Jun 5, 2025
Copy link

@thomas-roos thomas-roos left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks correct, would be nice to have a comment on the commit "why" or what you try to archive.

@aggarg aggarg merged commit 426959b into FreeRTOS:main Jun 5, 2025
5 checks passed
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.

4 participants