When a merge train is dropped, we sometimes send TODO notification,
sometimes don't. In this commit, we implement abort notifications.