8000 Fix bot rules by krschau · Pull Request #342 · microsoft/devhomegithubextension · GitHub
[go: up one dir, main page]

Skip to content
This repository was archived by the owner on Jun 5, 2025. It is now read-only.

Fix bot rules#342

Merged
krschau merged 1 commit intomainfrom
user/krschau/logs
Feb 7, 2024
Merged

Fix bot rules#342
krschau merged 1 commit intomainfrom
user/krschau/logs

Conversation

@krschau
Copy link
Collaborator
@krschau krschau commented Feb 7, 2024

Summary of the pull request

References and relevant issues

Detailed description of the pull request / Additional comments

Validation steps performed

PR checklist

  • Closes #xxx
  • Tests added/passed
  • Documentation updated

@krschau krschau merged commit a2e88c5 into main Feb 7, 2024
@krschau krschau deleted the user/krschau/logs branch February 7, 2024 19:39
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants

0