diff options
| author | Joshua Nelson <jyn514@gmail.com> | 2020-10-21 18:38:38 -0400 |
|---|---|---|
| committer | Joshua Nelson <joshua@yottadb.com> | 2020-10-22 09:08:04 -0400 |
| commit | 7eb38c2b8cd6be1ff2b514231d4b6d90862dace1 (patch) | |
| tree | 480e9c934ee3a43d203a7314e21b6d73d420e45f /src/doc/rustc-dev-guide/ci | |
| parent | 9354c4f98beb338ada1b2da59c5858ba222aca1b (diff) | |
| download | rust-7eb38c2b8cd6be1ff2b514231d4b6d90862dace1.tar.gz rust-7eb38c2b8cd6be1ff2b514231d4b6d90862dace1.zip | |
Improve markdown formatting
Diffstat (limited to 'src/doc/rustc-dev-guide/ci')
| -rwxr-xr-x | src/doc/rustc-dev-guide/ci/check-in.sh | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/src/doc/rustc-dev-guide/ci/check-in.sh b/src/doc/rustc-dev-guide/ci/check-in.sh index d41a7ae5780..694c3bdf822 100755 --- a/src/doc/rustc-dev-guide/ci/check-in.sh +++ b/src/doc/rustc-dev-guide/ci/check-in.sh @@ -24,11 +24,16 @@ 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 "Changes:" +echo "### Authors" +jq -r '{ login: .[].user.login } | "- **@" + .login + "**"' < pulls.json \ + | sort -u +echo +echo "### Changes" +echo show_pulls < pulls.json -echo "Changes in progress:" +echo +echo "### Changes in progress" +echo # If there are more than 30 PRs open at a time, you'll need to set `per_page`. # For now this seems unlikely. curl "https://api.github.com/repos/rust-lang/rustc-dev-guide/pulls?state=open" | show_pulls |