purescript/make_release_notes at master · lua-purescript/purescript · GitHub - github.com

1
2
curl https://api.github.com/repos/purescript/purescript/pulls?state=closed\&per_page=100 \
  | jq -r '.[] | ("- " + .title + " (@" + .user.login + ")")'