[scrape_platform_releases.yml] New Platform Releases#3498
[scrape_platform_releases.yml] New Platform Releases#3498github-actions[bot] wants to merge 1 commit intomainfrom
Conversation
github-actions
bot
force-pushed
the
create-pull-request/patch-scrape-changelog
branch
5 times, most recently
from
aa1b328 to
df81a1c
Compare
github-actions
bot
force-pushed
the
create-pull-request/patch-scrape-changelog
branch
2 times, most recently
from
e48a34b to
86e49dc
Compare
shonfeder
left a comment
shonfeder
left a comment
There was a problem hiding this comment.
Dune release note looks right!
|
Dune and OCaml announcements have been added in #3522. @kit-ty-kate I didn't find a release announcement on discuss that I could integrate here, is there one coming? |
github-actions
bot
force-pushed
the
create-pull-request/patch-scrape-changelog
branch
from
86e49dc to
ca7c3af
Compare
|
I'm not sure. I'm not entirely sure it is worth doing one. The release consists mostly of fixes and niche features. The only reason why the version number was bumped to 3.0 is because option prefixes are now disallowed and an option was removed, but in practice this should affect only a very small number of people and i would assume they would go read the changelog if something stopped working for them. |
github-actions
bot
force-pushed
the
create-pull-request/patch-scrape-changelog
branch
from
ca7c3af to
ed7c99a
Compare
|
@kit-ty-kate I don't know. It's still a signal of activity and active maintenance, that didn't just happen by itself. Small change -> small release note? |
github-actions
bot
force-pushed
the
create-pull-request/patch-scrape-changelog
branch
5 times, most recently
from
5ea47ef to
3a232ea
Compare
github-actions
bot
force-pushed
the
create-pull-request/patch-scrape-changelog
branch
from
3a232ea to
4e32143
Compare
3 participants
Automated changes by create-pull-request GitHub action