Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
renamed is_forking_op() to is_irn_forking() [r6616]