Revision 0f821e4564b257e6f8abd0a6044f043a4d3609b3 authored by Roman Donchenko on 18 October 2023, 11:20:25 UTC, committed by GitHub on 18 October 2023, 11:20:25 UTC
This automates the second half of the release process (the first being
automated by `prepare-release.yml`). After this workflow completes, the
only action that should remain for the releaser to do is to merge the
`dev-release-*` pull request. We can't do that as part of this workflow,
because CI has to finish first, and it seems pointless to create another
workflow just to merge 1 PR.

Apply some of the aspects of this pipeline to `prepare-release.yml` as
well:

* Make the release notes extraction process more sophisticated to work
  around GitHub's frustrating handling of line breaks in PR and release
  descriptions.

* Use GitHub app credentials in order to be able to trigger other
  pipelines.
1 parent 871bd4f
History
File Mode Size
dist
plugins
src
.dockerignore -rw-r--r-- 14 bytes
.env -rw-r--r-- 81 bytes
.eslintrc.js -rw-r--r-- 1.3 KB
README.md -rw-r--r-- 1.1 KB
index.d.ts -rw-r--r-- 224 bytes
package.json -rw-r--r-- 2.2 KB
react_nginx.conf -rw-r--r-- 902 bytes
tsconfig.json -rw-r--r-- 561 bytes
webpack.config.js -rw-r--r-- 8.3 KB

README.md

back to top