Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Pull request linter (without comment) #4

Closed
wants to merge 3 commits into from
Closed

Pull request linter (without comment) #4

wants to merge 3 commits into from

Conversation

jef
Copy link
Owner

@jef jef commented Feb 23, 2021 •
edited
Loading

Checks logs will eventually go away after time, so I will post screenshots instead.

image

@jef
chore: show example of pr lint
82ed563 
Shows example without pull request comment
@jef jef changed the title example of pull request linter, without comment Pull request linter (without comment) Feb 23, 2021
@jef jef added the example label Feb 23, 2021
@jef jef closed this Feb 24, 2021
@jef jef deleted the example-without-comment branch February 24, 2021 18:15
@jef jef restored the example-without-comment branch May 26, 2022 22:01
@jef jef reopened this May 26, 2022
@jef jef changed the title Pull request linter (without comment) Pull request linter (without comment May 27, 2022
@jef jef changed the title Pull request linter (without comment Pull request linter (without comment) May 27, 2022
@jef jef closed this May 27, 2022
@jef jef deleted the example-without-comment branch May 27, 2022 16:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
example
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@jef