Skip to content

Conversation

@mfranzke
Copy link
Member

Resolves #550

@mfranzke mfranzke added this to the Release 2.x milestone Aug 18, 2023
@mfranzke mfranzke self-assigned this Aug 18, 2023
@mfranzke mfranzke linked an issue Aug 18, 2023 that may be closed by this pull request
@github-actions
Copy link
Contributor

🔭🐙🐈 Test this branch here: https://db-ui.github.io/core/review/550-consolidate-lintings-on-pre-commit

@github-actions github-actions bot removed the cicd label Aug 18, 2023
@mfranzke mfranzke marked this pull request as ready for review August 18, 2023 12:31
@mfranzke mfranzke enabled auto-merge (squash) August 18, 2023 12:31
@mfranzke mfranzke merged commit 47b4c9c into main Aug 21, 2023
@mfranzke mfranzke deleted the 550-consolidate-lintings-on-pre-commit branch August 21, 2023 06:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Consolidate lintings on pre-commit

3 participants