diff options
| author | Santiago Pastorino <spastorino@gmail.com> | 2021-02-04 10:35:34 -0300 |
|---|---|---|
| committer | Joshua Nelson <joshua@yottadb.com> | 2021-02-04 10:10:08 -0500 |
| commit | 133328369119dbc36f6651d83c8a557c51f47808 (patch) | |
| tree | aea090937c070e846cb6ee11fa2767cb71a196ff /src/doc/rustc-dev-guide | |
| parent | 1f840fdd6376b6680f47692a5a7c011f9602bf69 (diff) | |
| download | rust-133328369119dbc36f6651d83c8a557c51f47808.tar.gz rust-133328369119dbc36f6651d83c8a557c51f47808.zip | |
Make check-in.sh output in way that suggest to add only the most relevant info
Diffstat (limited to 'src/doc/rustc-dev-guide')
| -rwxr-xr-x | src/doc/rustc-dev-guide/ci/check-in.sh | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/src/doc/rustc-dev-guide/ci/check-in.sh b/src/doc/rustc-dev-guide/ci/check-in.sh index ef61b68715d..323b75d67b7 100755 --- a/src/doc/rustc-dev-guide/ci/check-in.sh +++ b/src/doc/rustc-dev-guide/ci/check-in.sh @@ -24,15 +24,11 @@ show_pulls() { jq -r '.[] | { title, number, html_url, user: .user.login } | "- " + .title + " [#" + (.number | tostring) + "](" + .html_url + ")"' } -echo "### Authors" -jq -r '{ login: .[].user.login } | "- **@" + .login + "**"' < pulls.json \ - | sort -u -echo -echo "### Changes" +echo "### Most notable changes" echo show_pulls < pulls.json echo -echo "### Changes in progress" +echo "### Most notable WIPs" echo # If there are more than 30 PRs open at a time, you'll need to set `per_page`. # For now this seems unlikely. |