946
Bearbeitungen
Änderungen
Zur Navigation springen
Zur Suche springen
Zeile 34:
Zeile 34: + +
Teams/Keys-Team/Eintragen eines neuen Knotens mit Git Client (Quelltext anzeigen)
Version vom 5. November 2017, 19:48 Uhr
, 19:48, 5. Nov. 2017→Vorgehen zum Eintragen
git push
git push
Erst durch das Pushen wird die Datei tatsächlich wieder in den Master gespielt. Ab dann kann sie von den Gateways gezogen und verwendet werden. Sobald eine Datei hinzugefügt wird, läuft außerdem ein Prüfskript, das die hinzugefügte Datei auf Konsistenz prüft und ggf. eine Mecker-Mail versendet.