Edits history of script submission #140 for ' Merge a pull request (github)'