blob: 4477789c764aef3dd783aad93473660c65c35210 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
#!/bin/sh
set -eu
# This is not a very smart script
if [ $# != 2 ]; then
echo "usage: $0 <since> <number-of-prs-merged>"
if [ $# = 0 ]; then
echo "help: you can find the last check-in at" \
"https://rust-lang.zulipchat.com/#narrow/stream/238009-t-compiler.2Fmeetings/search/wg-rustc-dev-guide"
elif [ $# = 1 ] ; then
echo "help: you can find the number of PRs merged at" \
"https://github.com/rust-lang/rustc-dev-guide/pulls?q=is%3Apr+is%3Amerged+updated%3A%3E$1"
fi
exit 1
fi
curl() {
command curl -s "$@"
}
# Get recently updated PRs
curl "https://api.github.com/repos/rust-lang/rustc-dev-guide/pulls?state=closed&per_page=$2" \
| jq '[.[] | select(.merged_at > "'"$1"'")]' > pulls.json
show_pulls() {
jq -r '.[] | { title, number, html_url, user: .user.login } | "- " + .title + " [#" + (.number | tostring) + "](" + .html_url + ")"'
}
echo "### Most notable changes"
echo
show_pulls < pulls.json
echo
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.
curl "https://api.github.com/repos/rust-lang/rustc-dev-guide/pulls?state=open" | show_pulls
|
