Skip to content

Conversation

@jef
Copy link
Owner

@jef jef commented Feb 12, 2025

@jef jef force-pushed the fix/missing-scope branch from 0ee2287 to 9583e41 Compare February 12, 2025 22:02
@jef jef force-pushed the fix/missing-scope branch from 9583e41 to c741fa8 Compare February 12, 2025 22:12
@jef jef marked this pull request as ready for review February 12, 2025 22:15
@jef jef merged commit e187277 into main Feb 12, 2025
2 checks passed
@jef jef deleted the fix/missing-scope branch February 12, 2025 22:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Empty scope doesn't fail PR lint action

2 participants