Merge branch 'develop' of https://gitlab.com/teraflow-h2020/controller into...

.gitignore

deploy.sh

expose_ingress_grpc.sh

install_requirements.sh

manifests/nginx_ingress_http.yaml

manifests/webuiservice.yaml

my_deploy.sh

scripts/old/configure_dashboards_in_kubernetes.sh

scripts/old/deploy_in_kubernetes.sh

scripts/report_coverage_all.sh

scripts/run_tests_locally-compute.sh

scripts/run_tests_locally-context.sh

scripts/run_tests_locally-device-all.sh

scripts/run_tests_locally-device-emulated.sh

scripts/run_tests_locally-device-microwave.sh

scripts/run_tests_locally-device-openconfig.sh

scripts/run_tests_locally-device-p4.sh

scripts/run_tests_locally-device-tapi.sh

scripts/run_tests_locally-service.sh

scripts/run_tests_locally-slice.sh