Skip to content

Update GitHub schema#16

Merged
wooorm merged 2 commits intomasterfrom
update-github-schema
Jun 27, 2019
Merged

Update GitHub schema#16
wooorm merged 2 commits intomasterfrom
update-github-schema

Conversation

@wooorm
Copy link
Copy Markdown
Member

@wooorm wooorm commented Jun 26, 2019

Closes GH-15.
Closes GH-16.

@wooorm wooorm merged commit 84d24f8 into master Jun 27, 2019
@wooorm wooorm deleted the update-github-schema branch June 27, 2019 07:09
@wooorm wooorm added ⛵️ status/released 🗄 area/interface This affects the public interface 🦋 type/enhancement This is great to have 🧑 semver/major This is a change labels Aug 11, 2019
@wooorm wooorm added the 💪 phase/solved Post is done label Apr 12, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

🗄 area/interface This affects the public interface 💪 phase/solved Post is done 🧑 semver/major This is a change 🦋 type/enhancement This is great to have

Development

Successfully merging this pull request may close these issues.

Update GitHub schema

2 participants