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.
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.