This module is the canonical semantic definition of the GitHub repository website. Administrative privilege and read-back verification belong to the materialization target, while application is automatic after an authorized revision.
{-# OPTIONS --safe #-}
module Govenv.Materialization.Github.Repository.Website where
open import Agda.Builtin.String using (String)
open import Govenv.Materialization
open import Govenv.Project using (website)
materialization : Materialization String
materialization = materialized
(githubRepository repositoryWebsite)
authorizedEffectApplication
adminPrivilege
adminAuthority
websiteReadBackEquality
website