Is your feature request related to a problem? Please describe.
Since we have legal demands to store the submissions and associated points, we are downloading each submission (see #360).
Due to the change from names to IDs, the exported CSV with the points no longer contains the user name.
However, the names of the submitted Git repositories still use the user name.
Thus, the association between the submission files and the entry in the CSV is missing.
Describe the solution you'd like
I'd propose a simple hook to customize the exported CSV.
This way, we could easily add the user name as a column to the CSV.
Describe alternatives you've considered
Currently, we have to manually download the user table and merge the exported CSV with the user table to add the user name to the CSV.
Please let me know what you think about it. I'd be happy to contribute a PR for this issue.
Is your feature request related to a problem? Please describe.
Since we have legal demands to store the submissions and associated points, we are downloading each submission (see #360).
Due to the change from names to IDs, the exported CSV with the points no longer contains the user name.
However, the names of the submitted Git repositories still use the user name.
Thus, the association between the submission files and the entry in the CSV is missing.
Describe the solution you'd like
I'd propose a simple hook to customize the exported CSV.
This way, we could easily add the user name as a column to the CSV.
Describe alternatives you've considered
Currently, we have to manually download the user table and merge the exported CSV with the user table to add the user name to the CSV.
Please let me know what you think about it. I'd be happy to contribute a PR for this issue.