Extracting pull request # using Github API

[robertzk]

If GITHUB_API_TOKEN is set, then the following command will provide the github pull request for the current branch

curl -s "https://api.github.com/repos/avantcredit/avant-basic/pulls?access_token=$GITHUB_API_TOKEN&head=avantcredit:tu-freeze-78237690" | grep -o 'pulls/\([0-9]\+\)' | head -n1 | grep -o '[0-9]\+'

Note you the need the organization (avantcredit here) and the branch name (tu-freeze-78237690) here. You can then wrap this whole expression with backticks or make it a separate function, and use it to go straight to a pull request.

Since calling the Github API shouldn't be done too often, there should be a caching mechanism that records the pull request # for a given branch and uses that instead.

[peterhurford]

Good work! 👍