CODE: Handle GitHub pull request commits in build.py