Mark a Pivotal Tracker story as Finished when its Pull Request is merged