OUTPUT: Handle GitHub pull request commits in build.py