Dear Gitlab users, as announced previously (and here), we will be downgrading this Gitlab instance delayed to the Community edition on Thursday, 25.08.22, at 5 pm. You may ignore the (upcoming) banner below displayed by Gitlab.
update pkgs. extend panel config. rewrite toggle mechanism and event emitters. fix stylings for the panels