Skip to content

Add docs/design/, with accepted & rejected design documents#616

Closed
eemeli wants to merge 4 commits intomainfrom
designs-done
Closed

Add docs/design/, with accepted & rejected design documents#616
eemeli wants to merge 4 commits intomainfrom
designs-done

Conversation

@eemeli
Copy link
Copy Markdown
Collaborator

@eemeli eemeli commented Jan 26, 2024

Context: #523

This moves the accepted & rejected design docs to a more likely location under docs/design/, and fixes their titles & metadata. A README is added to that folder.

Delimiting of Patterns in Complex Messages is left in exploration/. Even though it's marked as "Accepted", it does not contain a description of the selected design. Its previous status of "Balloting" was updated in #559.

@eemeli eemeli added documentation Improvements or additions to documentation fast-track Editorial change permitted to use fast-track merge rules editorial Issue is non-normative labels Jan 26, 2024
@eemeli eemeli requested a review from aphillips January 26, 2024 09:33
@aphillips
Copy link
Copy Markdown
Member

Please don't move the documents.

@aphillips
Copy link
Copy Markdown
Member

In the 2024-01-29 call we agreed not to merge this specific PR. Create new PRs as needed to clean up design docs or to move them.

@aphillips aphillips closed this Jan 29, 2024
@eemeli eemeli deleted the designs-done branch January 29, 2024 22:10
@eemeli eemeli restored the designs-done branch May 6, 2024 07:24
@eemeli
Copy link
Copy Markdown
Collaborator Author

eemeli commented May 6, 2024

Reopening, as suggested in #523 (comment).

Also added exploration/archive/, to differentiate the currently-in-flight design documents from past non-design-doc explorations.

@eemeli eemeli reopened this May 6, 2024
@aphillips aphillips added the resolve-candidate This issue appears to have been answered or resolved, and may be closed soon. label Jul 24, 2024
@aphillips
Copy link
Copy Markdown
Member

Closing again, as we're maintaining differently. We can discuss changing management of design documents in an issue if needed.

@aphillips aphillips closed this Aug 1, 2024
@eemeli eemeli deleted the designs-done branch October 10, 2024 19:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation editorial Issue is non-normative fast-track Editorial change permitted to use fast-track merge rules resolve-candidate This issue appears to have been answered or resolved, and may be closed soon.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants