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

#1287: always clone urls #1288

Merged
merged 1 commit into from
Jul 25, 2023

Conversation

hohwille
Copy link
Member

fixes #1287

@github-actions github-actions bot added bash related to bash shell or scripts scripts related to shell scripts (bash and CMD) labels Jul 25, 2023
@hohwille hohwille added urls ide-urls repo and related processes and features setup related to the setup process of devonfw-ide (setup[.bat] and devon ... setup) scripts related to shell scripts (bash and CMD) and removed scripts related to shell scripts (bash and CMD) bash related to bash shell or scripts labels Jul 25, 2023
@github-actions github-actions bot added the bash related to bash shell or scripts label Jul 25, 2023
@hohwille hohwille added enhancement New feature or request and removed bash related to bash shell or scripts labels Jul 25, 2023
@hohwille hohwille added this to the release:2023.07.003 milestone Jul 25, 2023
@github-actions github-actions bot added the bash related to bash shell or scripts label Jul 25, 2023
@hohwille hohwille merged commit 4c965c1 into devonfw:master Jul 25, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bash related to bash shell or scripts enhancement New feature or request scripts related to shell scripts (bash and CMD) setup related to the setup process of devonfw-ide (setup[.bat] and devon ... setup) urls ide-urls repo and related processes and features
Projects
None yet
Development

Successfully merging this pull request may close these issues.

initial setup fails because urls is not cloned
1 participant