chore(user): introduce get-synced default for ExamOffice users

models/users.model

@@ -53,8 +53,9 @@ UserSystemFunction
     UniqueUserSystemFunction user function
     deriving Generic
 UserExamOffice
-    user     UserId
-    field    StudyTermsId
+    user      UserId
+    field     StudyTermsId
+    getSynced Bool default=true  -- whether synced status should be displayed for exam results by default
     UniqueUserExamOffice user field
     deriving Generic
 UserSchool -- Managed by users themselves, encodes "schools of interest"

src/Handler/Utils/Users.hs

@@ -469,6 +469,7 @@ assimilateUser newUserId oldUserId = mapReaderT execWriterT $ do
         return $ UserExamOffice
           E.<#  E.val newUserId
           E.<&> (userExamOffice E.^. UserExamOfficeField)
+          E.<&> (userExamOffice E.^. UserExamOfficeGetSynced)
     )
     (\_current _excluded -> [])
   deleteWhere [ UserExamOfficeUser ==. oldUserId ]