Michael Auerswald 0d3d33dd1f fix(editor): Only show push to git menu item to owners (#7766) ...

Removes the menu entry of "Push to Git" from the workflow menu for
non-owners, since they would not be able to push in the first place.

2023-11-21 15:20:15 +01:00

12 KiB

Raw Blame History

View Raw