Skip to content

fix: Add reply outside core dir#31

Merged
typeslint-cli[bot] merged 1 commit intoTypeslint:developmentfrom
HarunamiYaki:development
Oct 16, 2023
Merged

fix: Add reply outside core dir#31
typeslint-cli[bot] merged 1 commit intoTypeslint:developmentfrom
HarunamiYaki:development

Conversation

@HarunamiYaki
Copy link
Copy Markdown
Member

Description

This pull request addresses the need to enable automaton replies outside the core directory. Currently, automaton replies are limited to within the core directory. This should fix any reply issues when a pull request is outside the core directory.

@typeslint-cli
Copy link
Copy Markdown
Contributor

typeslint-cli Bot commented Oct 15, 2023

Hello @HarunamiYaki Thank you for submitting Pull Request, please wait for next notification after we review your Pull Request

@typeslint-cli typeslint-cli Bot added Core Pending Unread Issues/PRs labels Oct 15, 2023
Copy link
Copy Markdown
Member

@Muunatic Muunatic left a comment

Choose a reason for hiding this comment

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

LGTM!

Copy link
Copy Markdown
Contributor

@typeslint-cli typeslint-cli Bot left a comment

Choose a reason for hiding this comment

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

@HarunamiYaki your pull request has been approved by [MAINTAINER]@Muunatic, please type Ready to merge for merging

@typeslint-cli typeslint-cli Bot added Approved Approved PRs and removed Pending Unread Issues/PRs labels Oct 16, 2023
@HarunamiYaki
Copy link
Copy Markdown
Member Author

Ready to merge

@typeslint-cli typeslint-cli Bot merged commit e79ea2c into Typeslint:development Oct 16, 2023
@typeslint-cli
Copy link
Copy Markdown
Contributor

typeslint-cli Bot commented Oct 16, 2023

Merged by HarunamiYaki!

@Muunatic Muunatic added this to the v3.0.0 milestone Nov 7, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Approved Approved PRs Core

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants