Skip to content

Latest changes and initial windows draft - #157

Closed
philipnickel wants to merge 24 commits into
dtudk:devfrom
philipnickel:demo_kick_off
Closed

philipnickel wants to merge 24 commits into
dtudk:devfrom
philipnickel:demo_kick_off

Conversation

@philipnickel

Copy link
Copy Markdown
Member

No description provided.

Swarthe and others added 24 commits May 1, 2026 15:59
- REPO_BASE_URL -> PS_REPO_URL
- All script-local variables are lowercase
Co-authored-by: manufer20 <143493629+manufer20@users.noreply.github.com>
* Improve macOS installer progress UI (#62)

Co-authored-by: manufer20 <143493629+manufer20@users.noreply.github.com>

* added the progress bar

---------

Co-authored-by: manufer20 <143493629+manufer20@users.noreply.github.com>
* Improve macOS installer progress UI (#62)

Co-authored-by: manufer20 <143493629+manufer20@users.noreply.github.com>

* added the progress bar

* link updates

* fix traps

---------

Co-authored-by: manufer20 <143493629+manufer20@users.noreply.github.com>
@zerothi

zerothi commented Aug 13, 2026

Copy link
Copy Markdown
Contributor

Should this go in, or the latest #159?

@philipnickel

Copy link
Copy Markdown
Member Author

Should this go in, or the latest #159?

Everything is contained in the new pr an already merged to dev. So this PR is stale.. missed that. Otherwise we could revert my latest commits to dev and create a new merge without squashing?

@zerothi

zerothi commented Aug 13, 2026

Copy link
Copy Markdown
Contributor

Could you please close the ones that are not used? :)

@zerothi zerothi closed this Aug 13, 2026
@zerothi

zerothi commented Aug 13, 2026

Copy link
Copy Markdown
Contributor

Superseeded by #159.

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