Skip to content
This repository was archived by the owner on Dec 4, 2023. It is now read-only.

feat: add pr style linting #1144

Merged
merged 1 commit into from
Apr 8, 2021
Merged

feat: add pr style linting #1144

merged 1 commit into from
Apr 8, 2021

Conversation

joshgummersall
Copy link
Contributor

@joshgummersall joshgummersall commented Apr 8, 2021

Fixes #1143

Unverified

No user is associated with the committer email.
@joshgummersall joshgummersall merged commit a72d4c4 into main Apr 8, 2021
@joshgummersall joshgummersall deleted the jpg/pr-style branch April 8, 2021 20:22
# for free to subscribe to this conversation on GitHub. Already have an account? #.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

port: ci: pr style linting (#5458)
2 participants