commit 660dc403191cd0d06d5db242a31f90031228dc5d
parent 9f6e898cc2bced446b3e65cdab4387b3437f0702
Author: Florian Dold <florian@dold.me>
Date: Wed, 8 Jul 2026 20:06:35 +0200
-post deployment report may evolve
Diffstat:
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/developer/prod-release-process.rst b/developer/prod-release-process.rst
@@ -50,7 +50,8 @@ The process is done by the release manager.
5. The release manager (possibly in collaboration with other team members)
executes the steps required for the deployment.
-6. The release manager posts the post-deployment report.
+6. The release manager posts the post-deployment report. The report can
+ continually be edited.
7. Once all issues in the post-deployment report have been addressed *and* the
deployment is live (i.e. apps were approved in the store), the deployment