It would be nice with a tab to manage project indexing, similar to the Downloads tab.
It should have the following:
- A searchable list of all (claimed) projects with the following information:
- Name of the student(s and group) who owns the project
- Status of indexing (Not indexed / queued / Indexed / Indexing failed)
- (If applicable) A note of why the project has not been indexed or why the indexing failed
- (If applicable) The SHA of the two commits that were compared (and a link to view the commits on GitLab)
- For each project it should have Buttons/links to the following:
- A button to index/reindex the project
- A link to a page to see all files changed
It would be nice with a tab to manage project indexing, similar to the Downloads tab.
It should have the following: