Skip to content

chore: change repository path#19

Merged
typeslint-cli[bot] merged 2 commits intoTypeslint:developmentfrom
Muunatic:develop
Aug 2, 2023
Merged

chore: change repository path#19
typeslint-cli[bot] merged 2 commits intoTypeslint:developmentfrom
Muunatic:develop

Conversation

@Muunatic
Copy link
Copy Markdown
Member

@Muunatic Muunatic commented Aug 2, 2023

replace the old repository path with the new one on the automaton.

@Muunatic Muunatic added the Patch label Aug 2, 2023
@typeslint-cli
Copy link
Copy Markdown
Contributor

typeslint-cli Bot commented Aug 2, 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 2, 2023
@Muunatic
Copy link
Copy Markdown
Member Author

Muunatic commented Aug 2, 2023

@HarunamiYaki could you please approve my pull request? It's about changing the repository path on GitHub Automaton. Thanks a bunch! 😄

@Muunatic Muunatic marked this pull request as ready for review August 2, 2023 04:55
@Muunatic Muunatic requested a review from HarunamiYaki August 2, 2023 04:55
Copy link
Copy Markdown
Member

@HarunamiYaki HarunamiYaki left a comment

Choose a reason for hiding this comment

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

Aight

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 2, 2023
@Muunatic
Copy link
Copy Markdown
Member Author

Muunatic commented Aug 2, 2023

Ready to merge

@typeslint-cli typeslint-cli Bot merged commit c0682cb into Typeslint:development Aug 2, 2023
@typeslint-cli
Copy link
Copy Markdown
Contributor

typeslint-cli Bot commented Aug 2, 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