Fix erroneous spd json schema #11
Good catch, thanks for the PR! Would you mind adding an extra 0.1.2 revision to the XML header?
That's a good catch! 👍
I wonder in we should have a CI job to extract all JSON fragments and if they're JSON Schema then verify if the Schema is OK. To avoid further issues like these.
@yarmo what do you think?
Would you mind adding an extra
0.1.2revision to the XML header?
Update date too?
@wiktor Given that I am not expecting any more JSON schemas, I think it would be quite the overkill.
I have already written the XML schemas and these should definitely be checked via CI/CD!
@l-x Yes, good thinking! Still getting used to this system :)
@l-x Sorry for the double work. No, the date shouldn't be changed.
@yarmo Are two commits in one pr okay?
@l-x multiple commits are perfectly fine to me. The "merge pull request" button can squash if need be.
Re revision: I meant, add an entire new revision, so that it would be:
<revision>
<version>0.1.2</version>
<date>2021年11月10日</date>
<remark>Fixed error in JSON schema.</remark>
</revision>
<revision>
<version>0.1.1</version>
<date>2021年11月09日</date>
<remark>Fixed minor mistakes.</remark>
</revision>
<revision>
<version>0.1.0</version>
<date>2021年11月09日</date>
<remark>Initial version.</remark>
</revision>
@yarmo My bad, sorry. Still too tired...
67f3a4e02e
to cf32eecfbd
@l-x no worries, thanks a bunch for the PR! The first contribution outside of the people who started this thing, so cause for celebration 🥇
I guess i screwed the pr -.-.
I should have stayed in bed today 😫
cf32eecfbd
to 0875a18e9d
@l-x no worries, thanks a bunch for the PR! The first contribution outside of the people who started this thing, so cause for celebration 🥇
🥳 🎆 😆
pr should be ok now
I really hate myself for being that guy right now, but...
<remark>Fixed Fix json schema error.</remark>
Other than that, perfect!
@yarmo No worries, for my living usually I am that kind of guy. It was just a question of time when this comes back to me... xD
0875a18e9d
to 98acef7073
Looks perfect to me! I'll merge in a bit
No due date set.
No dependencies set.
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?