Add release notes script
commit0c87efeff2afa3210726791d68a53078bed52bbe
authorPhil Freeman <paf31@cantab.net>
dateTue 15 Dec 2015, 18:08 (11 years ago)
parentf5ed125
make_release_notesnew file+2
@@ -0,0 +1,2 @@
1+curl https://api.github.com/repos/purescript/purescript/pulls?state=closed\&per_page=100 \
2+ | jq -r '.[] | ("- " + .title + " (@" + .user.login + ")")'