Update your history file to reflect the merge of pull requests.