Migration pull vs. push