Pretty sure server push is being deprecated - current implementation is 'only half a feature', as clients lack the ability to tell the server what's already in cache.
In theory the client can cancel the response for a resource it's already got but by the time the response bytes reach the client it's really too late