You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The reason will be displayed to describe this comment to others. Learn more.
They are usually quite fast with merging PRs, you just first have to make up your mind where you want the file to live ultimately. :-)
And I use the schema all the time already, you can just configure it manually. :-)
c44d258
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
FYI @Vampire
c44d258
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
What for?
As soon as it is added to schemastore, IJ should get it automatically, shouldn't it?
c44d258
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Yes, we just don't know when they will add it to the schemastore, and I want to test the schema ASAP 😊
c44d258
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
They are usually quite fast with merging PRs, you just first have to make up your mind where you want the file to live ultimately. :-)
And I use the schema all the time already, you can just configure it manually. :-)