uploadSubmission: add support for submitting an existing ZIP
In some scenarios (e.g. when using non-Maven projects), it may make sense to let some script build a ZIP file, and only use something like this to upload the file to AutoFeedback:
mvn autofeedback:uploadSubmission -DdestinationFile=your.zip -DbuildZip=false
It shouldn't be too hard to add this feature into the uploadSubmission
goal. When using -DbuildZip=false
, we should bail the build if the file does not already exist or is not a file.