[KitodoDev] Änderungen an GitHub Branches