Skip to content

Conversation

@mhlidd
Copy link
Contributor

@mhlidd mhlidd commented Oct 23, 2025

What Does This Do

Currently, a PR may exist but cannot be "found" because the user is not logged in to GH CLI. This PR updates the script to include a check to verify that the user is logged into GH CLI.

Motivation

Additional Notes

Contributor Checklist

Jira ticket: [PROJ-IDENT]

@mhlidd mhlidd requested a review from a team as a code owner October 23, 2025 14:24
@github-actions
Copy link
Contributor

Hi! 👋 Thanks for your pull request! 🎉

To help us review it, please make sure to:

  • Add at least one type, and one component or instrumentation label to the pull request

If you need help, please check our contributing guidelines.

@mhlidd mhlidd added type: enhancement Enhancements and improvements tag: no release notes Changes to exclude from release notes comp: tooling Build & Tooling labels Oct 23, 2025
@mhlidd mhlidd closed this Oct 23, 2025
@mhlidd mhlidd reopened this Oct 23, 2025
@datadog-datadog-prod-us1
Copy link
Contributor

datadog-datadog-prod-us1 bot commented Oct 23, 2025

🎯 Code Coverage
Patch Coverage: 100.00%
Total Coverage: 59.67% (-0.00%)

View detailed report

This comment will be updated automatically if new data arrives.
🔗 Commit SHA: 148f090 | Docs | Was this helpful? Give us feedback!

Copy link
Contributor

@PerfectSlayer PerfectSlayer left a comment

Choose a reason for hiding this comment

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

👏 praise: ‏Thanks for the improvement!

@PerfectSlayer PerfectSlayer changed the title chore: Update Mirroring Script to Include Verification of gh auth status Update Mirroring Script to Include Verification of gh auth status Oct 23, 2025
@mhlidd mhlidd merged commit 079e1c7 into master Oct 23, 2025
536 checks passed
@mhlidd mhlidd deleted the mhlidd/update_tooling_script branch October 23, 2025 17:16
@github-actions github-actions bot added this to the 1.55.0 milestone Oct 23, 2025
amarziali pushed a commit that referenced this pull request Oct 27, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

comp: tooling Build & Tooling tag: no release notes Changes to exclude from release notes type: enhancement Enhancements and improvements

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants