update RBOP spec and GossipPush