Add project role op for opening tickets, require it for opening a ticket

Before that only the project's sharer was authorized to open a ticket. Now
everyone can, once given a role with the op.

src/Vervis/Foundation.hs

@@ -194,8 +194,8 @@ instance Yesod App where
         (WorkflowEnumCtorNewR shr _ _ , _   ) -> personOrGroupAdmin shr
         (WorkflowEnumCtorR shr _ _ _  , _   ) -> personOrGroupAdmin shr
 
-        (TicketsR shar _           , True) -> person shar
+        (TicketsR s j              , True) -> projOp ProjOpOpenTicket s j
-        (TicketNewR _ _            , _   ) -> personAny
+        (TicketNewR s j            , _   ) -> projOp ProjOpOpenTicket s j
         (TicketR user _ _          , True) -> person user
         (TicketEditR user _ _      , _   ) -> person user
         (TicketAcceptR s j _       , _   ) -> projOp ProjOpAcceptTicket s j

src/Vervis/Model/Role.hs

@@ -1,6 +1,6 @@
 {- This file is part of Vervis.
  -
- - Written in 2016 by fr33domlover <fr33domlover@riseup.net>.
+ - Written in 2016, 2018 by fr33domlover <fr33domlover@riseup.net>.
  -
  - ♡ Copying is an act of love. Please copy, reuse and share.
  -
@@ -28,7 +28,8 @@ data RepoOperation = RepoOpPush deriving (Eq, Show, Read, Enum, Bounded)
 derivePersistField "RepoOperation"
 
 data ProjectOperation
-    = ProjOpAcceptTicket
+    = ProjOpOpenTicket
+    | ProjOpAcceptTicket
     | ProjOpCloseTicket
     | ProjOpReopenTicket
     | ProjOpRequestTicket