diff --git a/wiki/src/contribute/release_process.mdwn b/wiki/src/contribute/release_process.mdwn
index 10d287bbeeb501ff5e41d6ffcfa35bb3301ec185..2974cba55701014ae532b805cdc8debb9548e2b2 100644
--- a/wiki/src/contribute/release_process.mdwn
+++ b/wiki/src/contribute/release_process.mdwn
@@ -1831,8 +1831,6 @@ If you just released a final release
 1. Push the resulting branches.
 1. Make sure Jenkins manages to build all updated major branches:
    <https://jenkins.tails.boum.org/>.
-1. Make sure you pushed all changes in every of our Git repo (including our
-   Debian packages ones).
 1. In [[contribute/calendar]], remove the entries about the version that you've
    just released.
 1. Check the Mozilla release calendars: