Is your feature request related to a problem? Please describe.
Currently we push all files in our simplified source repository management. We should give instructors the option to only push certain files to enhance the UX.
Describe the solution you'd like
Add a checkbox dialog to the push process to select files.
Is your feature request related to a problem? Please describe. Currently we push all files in our simplified source repository management. We should give instructors the option to only push certain files to enhance the UX.
Describe the solution you'd like Add a checkbox dialog to the push process to select files.