The name of the repo and corresponding docker images is network-interfaces. However, now the only library that it builds and contains is communication_library. Should we rename this repo and docker image or what do we do here @eeberhard @LouisBrunner ?
The name of the repo and corresponding docker images is
network-interfaces. However, now the only library that it builds and contains iscommunication_library. Should we rename this repo and docker image or what do we do here @eeberhard @LouisBrunner ?