Skip to content

Conversation

@SeanTAllen
Copy link
Member

No description provided.

@SeanTAllen SeanTAllen requested a review from a team February 11, 2023 16:33
@ponylang-main ponylang-main added the discuss during sync Should be discussed during an upcoming sync label Feb 11, 2023
@SeanTAllen SeanTAllen mentioned this pull request Feb 11, 2023
@SeanTAllen SeanTAllen added the changelog - changed Automatically add "Changed" CHANGELOG entry on merge label Feb 11, 2023
@ponylang-main
Copy link
Contributor

Hi @SeanTAllen,

The changelog - changed label was added to this pull request; all PRs with a changelog label need to have release notes included as part of the PR. If you haven't added release notes already, please do.

Release notes are added by creating a uniquely named file in the .release-notes directory. We suggest you call the file 10.md to match the number of this pull request.

The basic format of the release notes (using markdown) should be:

## Title

End user description of changes, why it's important,
problems it solves etc.

If a breaking change, make sure to include 1 or more
examples what code would look like prior to this change
and how to update it to work after this change.

Thanks.

@SeanTAllen SeanTAllen merged commit 89decd5 into main Feb 12, 2023
@SeanTAllen SeanTAllen deleted the json-lib branch February 12, 2023 00:46
@ponylang-main ponylang-main removed the discuss during sync Should be discussed during an upcoming sync label Feb 12, 2023
github-actions bot pushed a commit that referenced this pull request Feb 12, 2023
github-actions bot pushed a commit that referenced this pull request Feb 12, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

changelog - changed Automatically add "Changed" CHANGELOG entry on merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants