]> git.ipfire.org Git - pbs.git/commitdiff
builds: Rewrite all relevant repositories when deleting builds
authorMichael Tremer <michael.tremer@ipfire.org>
Sun, 17 Sep 2023 08:06:32 +0000 (08:06 +0000)
committerMichael Tremer <michael.tremer@ipfire.org>
Sun, 17 Sep 2023 08:06:32 +0000 (08:06 +0000)
Signed-off-by: Michael Tremer <michael.tremer@ipfire.org>
src/buildservice/builds.py

index 3e67b24313b309a74ad710a17a344cd445efbc61..b20ac9a8ba167fcebc6e596f56055bc4fdc09f85 100644 (file)
@@ -433,6 +433,9 @@ class Build(base.DataObject):
                # Delete source package
                await self.pkg.delete(user=user)
 
+               # All repositories this build has been in have been changed
+               await self._update_repos(build=True)
+
        @property
        def uuid(self):
                """
@@ -876,10 +879,15 @@ class Build(base.DataObject):
 
                return list(repos)
 
-       async def _update_repos(self):
+       async def _update_repos(self, build=False):
                """
                        This method should be called if the repositories should be updated
                """
+               # Remaster the build repository?
+               if build:
+                       await self.build_repo.changed()
+
+               # Remaster all other repositories
                for repo in self.repos:
                        await repo.changed()