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

Dockerize #73

Closed
wants to merge 5 commits into from
Closed

Dockerize #73

wants to merge 5 commits into from

Conversation

SuperMarioDaBom
Copy link
Member

@SuperMarioDaBom SuperMarioDaBom commented Jul 14, 2023

This PR fixes issues with making this server Docker compatible. Detailed setup instructions coming soon.

Minimal testing was performed, as I do not have the infrastructure to test certain aspects. The server did run, and server code is not touched by this PR.

Setting as a draft PR for now. Waiting on SMM datastore key dependency to be removed. Will mark as ready for review once that change has been pushed to the dev branch, and Docker instructions have been created.

Dockerfile Show resolved Hide resolved
@MatthewL246
Copy link
Member

Superseded by #97 (except for the DOCKER.md guide).

@jonbarrow
Copy link
Member

Should this just be closed? @MatthewL246 @SuperMarioDaBom

@SuperMarioDaBom
Copy link
Member Author

If it has been properly superceded, sure. As @MatthewL246 mentioned, the DOCKER.md file can be backed up if it proves useful for the new PR.

@MatthewL246
Copy link
Member

I think this can be safely closed, as GitHub keeps commits available even after a branch is deleted.

@jonbarrow jonbarrow closed this Jul 22, 2024
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