Skip to content

Conversation

@webbju
Copy link
Member

@webbju webbju commented Dec 10, 2025

Checklist

  • I have read the Contributor Guide
  • I have read and agree to the Code of Conduct
  • I have added a description of my changes and why I'd like them included in the section below

Description of Changes

@webbju webbju marked this pull request as ready for review December 10, 2025 10:38
@webbju webbju requested a review from tvandijck as a code owner December 10, 2025 10:38
@webbju webbju requested a review from arturjpv December 10, 2025 10:38
Copy link
Member

@arturjpv arturjpv left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Ok!

@webbju webbju merged commit ad1a2dd into main Dec 10, 2025
1 check passed
@webbju webbju deleted the webbju/add-editorconfig branch December 10, 2025 11: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.

3 participants