diff --git a/docs/development-pause.md b/docs/development-pause.md
index a34d932..a91778c 100644
--- a/docs/development-pause.md
+++ b/docs/development-pause.md
@@ -50,4 +50,4 @@ origin  ssh://git@git.jb.codes:7722/jb/eden.git
 fdcc486..1b95f22  main -> main
 ```
 
-The follow-up documentation commit recording this outcome is the only change after that push and is being pushed normally as well; there has been no deploy.
+The follow-up documentation commit recording this outcome was also pushed normally (`1b95f22..3b4a7ad  main -> main`); there has been no deploy.