From fc37992181b42a75fd26372523ad63efd40c07af Mon Sep 17 00:00:00 2001
From: Orion Kindel <orionkindel@gmail.com>
Date: Tue, 28 Nov 2023 10:46:24 -0600
Subject: [PATCH] fix: re-add missing repo props

---
 src/Gitea.Types.purs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/Gitea.Types.purs b/src/Gitea.Types.purs
index 9c199ea..b99bc27 100644
--- a/src/Gitea.Types.purs
+++ b/src/Gitea.Types.purs
@@ -346,6 +346,8 @@ type Repo =
       + RepoGiteaSettingsMutable
       + RepoPermsMutable
       + RepoPermsImmutable
+      + RepoSectionProfileMutable
+      + RepoSectionProfileImmutable
       + RepoSectionVisibilityMutable
       + RepoSectionVisibilityImmutable
       + RepoSectionMergeSettingsMutable ()
@@ -357,6 +359,7 @@ type RepoUpdate =
       + RepoSectionGiteaStatsMutable
       + RepoGiteaSettingsMutable
       + RepoPermsMutable
+      + RepoSectionProfileMutable
       + RepoSectionVisibilityMutable
       + RepoSectionMergeSettingsMutable ()
   )