Skip to content

Add story and doc folders and support#84

Merged
ingydotnet merged 2 commits into
mainfrom
story-directory
Jun 22, 2021
Merged

Add story and doc folders and support#84
ingydotnet merged 2 commits into
mainfrom
story-directory

Conversation

@ingydotnet
Copy link
Copy Markdown
Member

@ingydotnet ingydotnet commented Jun 17, 2021

Stories are short essays explaining more involved YAML usage and ideas.

Docs are developer documentation.

Added build system support for building them into the site.

Also added make stage which publishes to:

http://<gihub-user-id>-spec.yaml.io for showing live content for pull requests.

Writing out our intent with examples will help us understand each other as we
create RFCs.

@ingydotnet ingydotnet requested a review from a team as a code owner June 17, 2021 22:55
Stories are short essays explaining more involved YAML usage and ideas.

Docs are developer documentation

Added build system support for building them into the site.

Also added `make stage` which publishes to:

http://<gihub-user-id>-spec.yaml.io for showing live content for pull
requests.
Comment thread doc/glossary.md Outdated
@ingydotnet ingydotnet changed the title wip Add stories to repo Add story and doc folders and support Jun 21, 2021
Comment thread doc/glossary.md
Comment thread doc/glossary.md
Comment thread doc/glossary.md
Comment thread doc/glossary.md
Comment thread doc/glossary.md
Comment thread doc/glossary.md
@ingydotnet ingydotnet merged commit 78dc8f2 into main Jun 22, 2021
@ingydotnet ingydotnet deleted the story-directory branch June 30, 2021 12:13
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.

3 participants