technology:pull request diffing algorithms