The Story of Push Merge