update history file, add entry for pr #1264