gh_commit_range

#!/bin/bash
BEGIN_PR_ID=11635
END_PR_ID=13159
GH_API_TOKEN=REPLACE_TO_YOUR_API_TOKEN
for ((i=$BEGIN_PR_ID; i<END_PR_ID;++i))
do
    curl -H "Authorization: token $GH_API_TOKEN" https://api.github.com/repos/PaddlePaddle/Paddle/pulls/$i > PR.json
    merge_sha1=$(cat PR.json | jq -re .merge_commit_sha)
    if [[ $? -eq 1 ]]
    then
        continue
    fi
    merge_time=$(cat PR.json | jq .merged_at | date -u +%s)
    echo ${merge_time}, ${merge_sha1}
done