Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add merged pull requests for 0.6.{7,8} to CHANGELOG #3167

Merged
merged 1 commit into from
Nov 11, 2024

Conversation

paulcadman
Copy link
Collaborator

@paulcadman paulcadman commented Nov 11, 2024

This PR adds merged PR information to the CHANGELOG for the 0.6.7 and 0.6.8 releases.

For future reference:

I used the following vim regexes to convert from the GitHub release "changes" output to the format we use in our CHANGELOG:

s/*/-
s/https:\/\/github.com\/anoma\/juvix\/pull\/\(\d*\)/\[\\#\1](\0)
s/\(.*?\)by \(@.*?\) in \(\[.*\)/\1\3 \2
s/@\(\(\w\|-\)*\)$/([\1](https:\/\/github.com\/\1))

@paulcadman paulcadman added documentation Improvements or additions to documentation release labels Nov 11, 2024
@paulcadman paulcadman added this to the 0.6.9 milestone Nov 11, 2024
@paulcadman paulcadman self-assigned this Nov 11, 2024
@paulcadman paulcadman force-pushed the update-changelog-0.6.8 branch from fafd696 to 2fe8c5a Compare November 11, 2024 18:07
@paulcadman paulcadman merged commit 5d586cb into main Nov 11, 2024
4 checks passed
@paulcadman paulcadman deleted the update-changelog-0.6.8 branch November 11, 2024 19:47
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 release
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants