Bestand der PPS repos klären
Ich bin Ende august weg von der Uni. Damit nicht gleich die PPS repos (dieses und pps-benchmarks) zusammenbrechen, sollte die jemand anderes übernehmen. Am einfachsten geht das wohl durch klonen.
TODO:
-
repos klonen, klon-beziehung lösen (bzw. exportieren/importieren, damit die issues mitkommen, oder noch besser, transferieren, damit die job traces mitkommen) -
Member festelegen -
CI-runner umziehen (die müssen eventuell in diesem Repo auf "auf andere Projekte übertragbar" oder so gestellt werden) -
(pps-benchmarks!15 (merged)) API-URL im build-skript für die benchmarks anpassen: https://zivgitlab.uni-muenster.de/jfahl_01/pps-benchmarks/blob/master/bin/generate#L25 -
(pps-benchmarks!15 (merged)) Target link URL in https://zivgitlab.uni-muenster.de/jfahl_01/pps-benchmarks/blob/master/bin/generate#L96 anpassen -
URLs in den Projektbeschreibungen der neuen Projekte anpassen [ ] In den Projektbeschreibungen der alten Projekte auf die neuen verlinken[ ] in den alten Projekten einen Commit machen, der die Komplette tree löscht (dann muß es jedem auffallen, der ausversehen noch das alte repo verwendet)[ ] Die Projekte unter /jfahl_01 archivieren (danach kann keiner mehr pushen)-
Leute benachrichtiegen, daß die ihre push/pull url anpassen
Edited by Dr. Jorrit Fahlke