| Age | Commit message (Expand) | Author |
|---|---|---|
| 2025-06-26 | don't mistake deleted files as changed files, re #5331 | Jan-Hendrik Willms |
| 2025-06-26 | fix error 'fatal: origin/main...HEAD: no merge base' in pipeline, fixes #5331 | Jan-Hendrik Willms |
| 2025-06-26 | pipeline improvements, fixes #5331 | Jan-Hendrik Willms |
 |
index : studip.git | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiff |