Skip to content

feat: implement pull request mergeability check#25

Merged
typeslint-cli[bot] merged 1 commit intoTypeslint:developmentfrom
Muunatic:development
Aug 28, 2023
Merged

feat: implement pull request mergeability check#25
typeslint-cli[bot] merged 1 commit intoTypeslint:developmentfrom
Muunatic:development

Conversation

@Muunatic
Copy link
Copy Markdown
Member

feature has been added to the codebase that enables the API to check the mergeability of pull requests. ensures that a pull request is mergeable and prevent potential merge conflicts

@Muunatic Muunatic added the Minor label Aug 28, 2023
@typeslint-cli
Copy link
Copy Markdown
Contributor

typeslint-cli Bot commented Aug 28, 2023

Hello @Muunatic 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 Aug 28, 2023
@Muunatic Muunatic requested a review from HarunamiYaki August 28, 2023 09:10
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.

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

@typeslint-cli typeslint-cli Bot added Approved Approved PRs and removed Pending Unread Issues/PRs labels Aug 28, 2023
@Muunatic
Copy link
Copy Markdown
Member Author

ready to merge

@typeslint-cli typeslint-cli Bot merged commit 0f8e0d6 into Typeslint:development Aug 28, 2023
@typeslint-cli
Copy link
Copy Markdown
Contributor

typeslint-cli Bot commented Aug 28, 2023

Merged by Muunatic!

@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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants