Michael Kriese

> > Does devbox use any files or folders in user home dir? > > devbox definitely uses stuff in the home dir (on macos at least) > > the...

@burritobill Can you finish this PR please? 🤗

How could we change this? Can you open a PR to fix it?

 Use the re-request review button when done to notify my for another review 🤗

Can you please fix the conflict?

@daniel-beck @timja Sorry for pinging, but do you have any suggestions about this particular issue? This workaround looks wiered to me.

it seems it needs somwe test fixes too

do you find the users who changed the Jenkins code recently? so we could ask them for help?

this is now conflicted, please deconflict. I'll merge the workaround then.

please fix merge conflicts 😇