no longer needed now that the checkout script fetches the entire commit history of master and the PR branch