Skip to content
This repository has been archived by the owner on Jan 8, 2024. It is now read-only.

lint merge commit is created by PR owner #42

Open
jcxldn opened this issue Jul 14, 2023 · 0 comments
Open

lint merge commit is created by PR owner #42

jcxldn opened this issue Jul 14, 2023 · 0 comments

Comments

@jcxldn
Copy link
Member

jcxldn commented Jul 14, 2023

No description provided.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@jcxldn