Create GitHub PR

Create a GitHub pull request with an auto-generated description based on branch commits.

Instructions

Extract the agf_id parameter to use as a prefix for the PR title.