chore(install): retire broken docker installation instructions

[ghuntley]

Related to #5144.

I'm all for a /install/ folder and these docker installation instructions but currently they lead people down the wrong path because the contents are not supported/maintained.

[corneliusludmann]

At least the install/docker thing is something that I maintain (and use) currently. That should work at least for the 0.10.0 release. If we really want to drop it from this repo I would create an additional repo to maintain it there.

[ghuntley]

At least the install/docker thing is something that I maintain (and use) currently. That should work at least for the 0.10.0 release. If we really want to drop it from this repo I would create an additional repo to maintain it there.

💭 let's relocate install/docker to contrib/docker?

• removes the confusion about install/
• removes the need to manage an additional repo
• enables maintaining it (something that is desired)

Yay/Nay?

edit: additionally - I would <3 to see the contents of install/docker promoted to a first-class citizen that is supported @mrsimonemms.

[corneliusludmann]

let's relocate install/docker to contrib/docker?

Sounds great!

additionally - I would <3 to see the contents of install/docker promoted to a first-class citizen that is supported

+1

[ghuntley]

install/docker relocated to contrib/docker but the build is failing. I need a werft/leeway consult to fix ❤️.

[corneliusludmann]

@ghuntley Took the liberty and pushed a commit that fixes the werft/leeway issue. Feel free to squash with your commit and let me know whether this is ready for review.

By the way: Currently, the stuff in contrib will be built only when the /werft with-contrib (was /werft with-installer) command has been added to the most recent commit or to the pull request.

[ghuntley]

@ghuntley Took the liberty and pushed a commit that fixes the werft/leeway issue. Feel free to squash with your commit and let me know whether this is ready for review.

[ghuntley]

LGTM - do the magic /approve no-issue and lets go!

[corneliusludmann]

/lgtm

[roboquat]

LGTM label has been added.

Git tree hash: 84ad4c48839dbb61479864fb3e82cdd5204fb378

[corneliusludmann]

/approve no-issue

[roboquat]

[APPROVALNOTIFIER] This PR is APPROVED

This pull-request has been approved by: corneliusludmann

Associated issue requirement bypassed by: corneliusludmann

The full list of commands accepted by this bot can be found here.

The pull request process is described here

Needs approval from an approver in each of these files:

• OWNERS [corneliusludmann]

Approvers can indicate their approval by writing /approve in a comment
Approvers can cancel approval by writing /approve cancel in a comment