Include link to release in PR

pantsbuild · Dec 31, 2023 · 64ee39b · 64ee39b
1 parent 6185bd4
commit 64ee39b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/sync_docs.yml b/.github/workflows/sync_docs.yml
@@ -92,7 +92,7 @@ jobs:
           git push -u origin "automation/sync-${{ inputs.version }}"
         working-directory: pantsbuild.org
       - name: Make a PR
-        run: gh pr create --title "Update docs site for version ${{ inputs.version }}" --body ""
+        run: gh pr create --title "Update docs site for version ${{ inputs.version }}" --body "Docs from https://github.com/pantsbuild/pants/releases/tag/release_{{ inputs.version }}"
         env:
           GH_TOKEN: ${{ github.token }}
         working-directory: pantsbuild.org