On the course menu, there is a Downloads item. It currently only allows downloads of data for commits and issues (across all project repos). Please add an item to download all PR data.
That is, add "Download PRs" to this menu:
US
As an admin/instructor I can download all PR data for all project repos in a single CSV so that I can easily get the research data I need, and/or data for course assessment.
Description
On the course menu, there is a Downloads item. It currently only allows downloads of data for commits and issues (across all project repos). Please add an item to download all PR data.
That is, add "Download PRs" to this menu:
US
As an admin/instructor I can download all PR data for all project repos in a single CSV so that I can easily get the research data I need, and/or data for course assessment.