Nur eine Anmerkung for the future: koennen wir changes wie diesen erst einmal in einem PR halten und hier entscheiden, bevor wir in den master mergen? Von master muss dann eh noch einmal manuell in den gh-pages gemerged werden. Ich glaube aber auch, dass man das auch umstellen kann und master als der brnach genommen werden kann, der auch deployed.
Nur eine Anmerkung for the future: koennen wir changes wie diesen erst einmal in einem PR halten und hier entscheiden, bevor wir in den master mergen? Von master muss dann eh noch einmal manuell in den gh-pages gemerged werden. Ich glaube aber auch, dass man das auch umstellen kann und master als der brnach genommen werden kann, der auch deployed.