Closed cknoll closed 9 years ago
Ich war mir mehr sicher ob Pull Requests bereits als angenommen gelten.
ich würde sagen: Vier Augen-Prinzip reicht. D.h. wenn eine andere Person als der Initiator des PR mit den Änderungen einverstanden ist und es sonst keine Kommentare gibt kann diese Person mergen. Wenn sie sich unsicher ist, kann sie ja "+0.5" als Kommentar schreiben, damit noch jemand drittes drauf schaut. Aber im Zweifel ist "keine Änderung" schlechter als eine "nicht optimale Änderung".
Ok, ich hatte nichts dran auszusetzen, also merge ich das jetzt noch mal.
@jklmnn Inhaltlich die gleiche Änderung wie vorhin. Mir ist nicht klar warum Du den merge rückgängig gemacht hast? Oder wolltest Du, dass noch mehr Leute sich explizit für die Änderungen aussprechen?