]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Rollup merge of #76516 - pietroalbini:github-releases, r=Mark-Simulacrum
authorTyler Mandry <tmandry@gmail.com>
Wed, 9 Sep 2020 22:06:04 +0000 (15:06 -0700)
committerGitHub <noreply@github.com>
Wed, 9 Sep 2020 22:06:04 +0000 (15:06 -0700)
commit09a364e9842d3a2852a10664bd0989fdbb82fdde
treec1e1ef4384e21f9c80a894a681640a310e481522
parent98f59bc2aab4b76c97360991cc99289be1b077ed
parentf64ddc60a504a7dfee41fec477dd678d54d19b22
Rollup merge of #76516 - pietroalbini:github-releases, r=Mark-Simulacrum

Enable GitHub Releases synchronization

This PR enables the triagebot feature to automatically populate [GitHub Releases](https://github.com/rust-lang/rust/releases) for this repository based on the changelog. See https://github.com/rust-lang/triagebot/pull/811 for the implementation of this feature on triagebot's side, and more insights on how it works.

Note: once this lands people subscribed to the ~~firehose~~ rust-lang/rust repository will probably receive a ton of notifications for all the releases being created, but this should be a one-time thing.

r? @Mark-Simulacrum
cc @rust-lang/release