Now that we start adding also non-binary ports (see https://github.com/robotology/robotology-vcpkg-binary-ports/pull/11) it could make sense to rename the repo. In the past both @pattacini and @drdanz mentioned that they agreed with this, but I wanted to double check.
Now that we start adding also non-binary ports (see https://github.com/robotology/robotology-vcpkg-binary-ports/pull/11) it could make sense to rename the repo. In the past both @pattacini and @drdanz mentioned that they agreed with this, but I wanted to double check.
cc @GiulioRomualdi