wiki-scripts issueshttps://gitlab.stusta.de/stustanet/wiki-scripts/-/issues2019-12-31T00:30:16Zhttps://gitlab.stusta.de/stustanet/wiki-scripts/-/issues/3upgrade: add git branch check2019-12-31T00:30:16ZJulien Schmidtupgrade: add git branch checkFor extensions / skins updated via git, the upgrade script should check whether the correct branch is checked out (i.e. if `core` is on `REL1_33`, the extensions / skins should be too, and not e.g. still on `REL1_32`.For extensions / skins updated via git, the upgrade script should check whether the correct branch is checked out (i.e. if `core` is on `REL1_33`, the extensions / skins should be too, and not e.g. still on `REL1_32`.