Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

add dockerisation #867

Closed
wants to merge 2 commits into from
Closed

add dockerisation #867

wants to merge 2 commits into from

Conversation

rohitagre
Copy link

@rohitagre rohitagre commented Oct 16, 2023 •
edited
Loading

This fork builds upon PR #790 with minor fixes. Thanks @mtozlu

Relevant issues
Contributor checklist
  • Provide tests for the changes (unless documentation-only)
  • Documented any new features, CLI switches, etc. (if applicable)
    • Server --help output
    • README.md
    • doc/http-server.1 (use the same format as other entries)
  • The pull request is being made against the master branch
Maintainer checklist
  • Assign a version triage tag
  • Approve tests if applicable

@indexzero indexzero mentioned this pull request Sep 20, 2024
Open
@KernelDeimos
Copy link
Contributor

Resolved by e8a96d0

# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@rohitagre @KernelDeimos