tree bc3eee863e9b92cecd6d15e12530cc9cd961b735
parent e348d09939058846a01546cbf24df82f80d65e47
author pierventre <pier@opennetworking.org> 1616447841 +0100
committer pierventre <pier@opennetworking.org> 1616593956 +0100

[AETHER-1324] Force push pipeline config

Introduces a distributed set to "remember" the devices already configured by the cluster.
In this way, we can force push the pipeline after a new installation even though the
pipeline results to be the same.

Change-Id: I9d04b04828daf8d1e6944b5a8e07d580e978ee69