Making push a dependency

I don't have a preference either way. But I'm leaning towards dropping them as well.