def __truediv__(self, file):
        return self.join(file)
Updates the proxy used for port mapping to conform to the current running container
dataset/ETHPy150Open gitpython-developers/GitPython/git/objects/tree.py/Tree.__truediv__--crossover with--dataset/ETHPy150Open DevTable/gantryd/runtime/manager.py/RuntimeManager.updateProxy