Function pull_tip_changed 

pub fn pull_tip_changed(
    pre_target: Option<&str>,
    final_state: Option<&str>,
) -> bool

Whether a pull tip moved: final_state differs from the pre-pull tip.

When final_state is missing, the tip is treated as unchanged (hosted success-with-no-state is a no-op for ref advance).