mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Make check-in.sh output in way that suggest to add only the most relevant info

This commit is contained in:
Santiago Pastorino 2021-02-04 10:35:34 -03:00 committed by Joshua Nelson
parent 6e02970f7f
commit acd1390adb
1 changed files with 2 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
ci/check-in.sh
View File

@ -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.