Closed WardCunningham closed 4 years ago
I merged in the three commits with the port changes and left the others since they dealt with the docker build. For some reason, github doesn't show the commits I merged in this view. I think this approach won't conflict with your local changes. Let me know if you find otherwise.
Closing this as the relevant bits have been merged.
you've helped me code this.