Chiara Marmo approved merge request !232: Fail gracefully upon case mismatch in assignment path at Travo / Travo

Chiara Marmo
2026-04-23T11:18:52Z

E.g. ./course.py submit foo instead of ./course.py submit Foo

More generally: upon accessing the repository of an assignment, update the repo_path attribute of the assignment object to reflect the case fail gracefully if the case of the path does not match that of the repository on the forge. Before this patch, travo did proceed, creating local clones and submissions on the forge with paths with different cases, wreaking havoc later on.

Also add minimal test for course.fetch / course.submit .

Bug reported by Florent Hivert