Include user-agent when posting with GitHubPRBot. (#5779)

Author: dbrant

.github/workflows/android_phab.yml

@@ -16,7 +16,8 @@ jobs:
         message="${{ github.actor }} ${{ github.event.action }} ${{ github.event.pull_request._links.html.href }}"
         echo -e "${PR_BODY}" | grep -oEi "(^Bug:\s*T[0-9]+)|(^([*]*phabricator[*]*:[*]*\s*)?https:\/\/phabricator\.wikimedia\.org\/T[0-9]+)" | grep -oEi "T[0-9]+" | while IFS= read -r line; do
           echo "Processing: $line"
-          curl https://phabricator.wikimedia.org/api/maniphest.edit \
+          curl --header "User-Agent: GitHubPRBot/1.0 (https://phabricator.wikimedia.org/p/GitHubPRBot)" \
+              https://phabricator.wikimedia.org/api/maniphest.edit \
               -d api.token=${{ secrets.PHAB_BOT_API_KEY }} \
               -d transactions[0][type]=comment \
               -d transactions[0][value]="${message}" \