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

Enable developers to download native SDKs from GitHub artifacts #574

Merged
merged 2 commits into from
Feb 18, 2022

Conversation

vaind
Copy link
Collaborator

@vaind vaind commented Feb 18, 2022

I'm often cleaning the whole checkout (git clean -ffxd; git submodule foreach --recursive git clean -ffxd) to verify things locally and then copying the package-dev/Plugins from my local backup... this would allow anyone to get these from the latest successful job on the main branch

#skip-changelog

Copy link
Member

@bruno-garcia bruno-garcia left a comment

Choose a reason for hiding this comment

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

Is the goal here to help external contributors or there's another use case this PR will help solve?

CONTRIBUTING.md Outdated Show resolved Hide resolved
@bruno-garcia
Copy link
Member

Is the goal here to help external contributors or there's another use case this PR will help solve?

This was answered by the updated description, thanks

Co-authored-by: Bruno Garcia <bruno@brunogarcia.com>
@vaind vaind merged commit 1b7470d into main Feb 18, 2022
@vaind vaind deleted the chore/dev-artifacts-download branch February 18, 2022 15:31
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