Skip to content

Conversation

v1v
Copy link
Member

@v1v v1v commented May 6, 2025

Details

⚠️ This PR was created by an automated tool. Please review the changes carefully. ⚠️

Explicitly explain what GitHub commands are supported.

Why

We want to improve our user experience and make it easier for those GitHub commands
that are supported by the Elastic CI Ecosystem.

It uses https://github.com/elastic/oblt-actions/tree/main/elastic/github-commands

If there are any questions, please reach out to the @elastic/observablt-ci

@v1v v1v self-assigned this May 6, 2025
@v1v v1v requested a review from a team May 6, 2025 16:02
@v1v v1v requested a review from a team May 7, 2025 08:51
@v1v v1v enabled auto-merge (squash) May 7, 2025 08:53
@xrmx
Copy link
Member

xrmx commented May 8, 2025

Silly question: what are github commands?

@v1v
Copy link
Member Author

v1v commented May 8, 2025

what are github commands?

That's a good question! Let me sell the idea with:

GitHub commands are powerful, user-friendly directives that you can invoke directly from your repository’s comments. Designed to streamline the interaction with the Elastic CI Ecosystem, these commands empower users to execute specific actions on pull requests without leaving the GitHub interface. Whether you wish to re-run the PR Docs build, a simple command can save you time and clicks.

:)

Copy link

@dliappis dliappis left a comment

Choose a reason for hiding this comment

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

LGTM

@v1v v1v merged commit 826b421 into main May 15, 2025
121 checks passed
@v1v v1v deleted the gh-oblt/add-action-commands branch May 15, 2025 14:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants