Skip to content

custom-set: metadata: add title#2125

Merged
ee7 merged 1 commit intomainfrom
custom-set-metadata-title
Oct 11, 2022
Merged

custom-set: metadata: add title#2125
ee7 merged 1 commit intomainfrom
custom-set-metadata-title

Conversation

@ee7
Copy link
Copy Markdown
Member

@ee7 ee7 commented Oct 11, 2022

Commit 6e57ab4 (#2122) intended to add the title key to every exercise that lacked one, but custom-set was omitted.

Commit 6e57ab4 intended to add the title key to every exercise that
lacked one, but custom-set was omitted.
@ee7 ee7 requested a review from kytrinyx October 11, 2022 08:25
Copy link
Copy Markdown
Member

@kytrinyx kytrinyx left a comment

Choose a reason for hiding this comment

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

Thank you!

@kytrinyx kytrinyx requested a review from glennj October 11, 2022 10:30
@ee7 ee7 merged commit 0ca50ab into main Oct 11, 2022
@ee7 ee7 deleted the custom-set-metadata-title branch October 11, 2022 14:24
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.

4 participants