Skip to content
This repository has been archived by the owner on Jun 24, 2024. It is now read-only.

Remove X extensions #24

Merged
merged 1 commit into from
Jan 22, 2024
Merged

Remove X extensions #24

merged 1 commit into from
Jan 22, 2024

Conversation

littledan
Copy link
Member

And be explicit that extra properties are allowed

And be explicit that extra properties are allowed
@nicolo-ribaudo nicolo-ribaudo merged commit 185988c into main Jan 22, 2024
2 checks passed
@nicolo-ribaudo nicolo-ribaudo deleted the littledan-patch-1 branch January 22, 2024 17:45
github-actions bot added a commit that referenced this pull request Jan 22, 2024
SHA: 185988c
Reason: push, by nicolo-ribaudo

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
@nicolo-ribaudo
Copy link
Member

I merged this by accident 😅 Somehow GitHub was showing me the title of #26 at the top, and I thought "oh weird, I remember merging this, let's click the button again"

However, it should be fine as the last time we talked about this we all agreed on the direction.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants