Normal
ich gebe JavaMeister recht, die Libraries sollte man wenn möglich nicht mit pushen. Wenn man sich zb. Maven bedient, dann erledigt sich das von selbst und ist auch sauberer
