Skip to content

Fix bin dev scripts#1519

Merged
Judahmeek merged 3 commits intomasterfrom
fix-bin-dev-scripts
Feb 15, 2023
Merged

Fix bin dev scripts#1519
Judahmeek merged 3 commits intomasterfrom
fix-bin-dev-scripts

Conversation

@ahangarha
Copy link
Copy Markdown
Contributor

@ahangarha ahangarha commented Feb 3, 2023

In this PR I have fixed two issues:

  • The scripts were not able to run the task runner properly.
  • The executable flag of the scripts were not preserved in the installation process.

This change is Reviewable

@ahangarha ahangarha requested a review from Judahmeek February 3, 2023 19:45
@justin808
Copy link
Copy Markdown
Member

LGTM. @Judahmeek please check.

@Judahmeek Judahmeek merged commit d0d45a1 into master Feb 15, 2023
@Judahmeek Judahmeek deleted the fix-bin-dev-scripts branch February 15, 2023 05:18
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.

3 participants