Skip to content

Revert unintended action pin changes from documentation PR - #14941

Merged
mnkiefer merged 2 commits into
refactor-tokens-pagefrom
copilot/sub-pr-14933-again
Feb 11, 2026
Merged

Revert unintended action pin changes from documentation PR#14941
mnkiefer merged 2 commits into
refactor-tokens-pagefrom
copilot/sub-pr-14933-again

Conversation

CopilotAI commented Feb 11, 2026

Copy link
Copy Markdown
Contributor

The tokens documentation PR inadvertently modified action pin files that should only be updated through automated processes or intentional pin version changes.

Changes:

  • Reverted .github/aw/actions-lock.json to origin/main state
  • Reverted pkg/workflow/data/action_pins.json to origin/main state
  • Removed docker/build-push-action@v6 entry introduced in previous commits

These files maintain the pinned SHA hashes for GitHub Actions dependencies and should not be modified in documentation-only PRs.


💬 We'd love your input! Share your thoughts on Copilot coding agent in our 2 minute survey.

CopilotAI mentioned this pull request Feb 11, 2026
@mnkiefer
mnkiefer marked this pull request as ready for review February 11, 2026 12:34
CopilotAI review requested due to automatic review settings February 11, 2026 12:34

CopilotAI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot wasn't able to review any files in this pull request.


💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Co-authored-by: mnkiefer <8320933+mnkiefer@users.noreply.github.com>
CopilotAI changed the title [WIP] Refactor tokens page for better visual and structural clarityRevert unintended action pin changes from documentation PRFeb 11, 2026
CopilotAI requested a review from mnkieferFebruary 11, 2026 12:38
@mnkiefer
mnkiefer merged commit 02e9f55 into refactor-tokens-pageFeb 11, 2026
@mnkiefer
mnkiefer deleted the copilot/sub-pr-14933-again branch February 11, 2026 12:40
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants

@mnkiefer