Make deployment URL known to server
This MR solves some issues for deployment, following this documentation.
I tried to get rid of the duplication, but it did not work correctly. Improvements welcome!
This MR solves some issues for deployment, following this documentation.
I tried to get rid of the duplication, but it did not work correctly. Improvements welcome!