Skip to content

[docs] condense reporting.md shared workflow fragment #30

Open

Description

@github-actions

Removes documentation bloat from .github/workflows/shared/reporting.md.

File improved: .github/workflows/shared/reporting.md

Changes made:

  • Section 1 (Workflow Run ID Formatting): Merged the separate Format: and Example: subsections into a single code block with an inline example sentence. The two blocks were showing essentially the same information with slightly different values.
  • Section 2 (Document References): Replaced the four-bullet Guidelines: list with a single concise sentence that captures all the same constraints.

Reduction: 45 → 29 lines (~35% reduction, 20 lines removed)

All essential instructions are preserved — the format patterns, example URLs, the 3-reference limit, and the field names (url / RunURL) are all still present.


Warning

Protected Files — Push Permission Denied

This was originally intended as a pull request, but the patch modifies protected files. A human must create the pull request manually.

Protected files

The push was rejected because GitHub Actions does not have workflows permission to push these changes, and is never allowed to make such changes, or other authorization being used does not have this permission.

Create the pull request manually
# Download the patch from the workflow run
gh run download 32374528886 -n agent -D /tmp/agent-32374528886

# Create a new branch
git checkout -b docs/unbloat-reporting-4f03129eaf141b85 main

# Apply the patch (--3way handles cross-repo patches)
git am --3way /tmp/agent-32374528886/aw-docs-unbloat-reporting.patch

# Push the branch and create the pull request
git push origin docs/unbloat-reporting-4f03129eaf141b85
gh pr create --title '[docs] condense reporting.md shared workflow fragment' --base main --head docs/unbloat-reporting-4f03129eaf141b85 --repo droosma/WitnessSharp

🗜️ Compressed by Documentation Unbloat

To install this agentic workflow, run

gh aw add githubnext/agentics/workflows/unbloat-docs.md@1c6668b751c51af8571f01204ceffb19362e0f66
  • expires on Aug 22, 2026, 1:34 PM UTC
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions