From 0fd85a1f992b3f369ba21dd7cb6e1eacf92d226e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Domen=20Ko=C5=BEar?= <domen@dev.si>
Date: Tue, 26 Feb 2019 14:12:26 +0700
Subject: [PATCH] nixos release: there's a wildcard protection now for
 release-* on github

---
 nixos/doc/manual/development/releases.xml | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/nixos/doc/manual/development/releases.xml b/nixos/doc/manual/development/releases.xml
index d4e5ff3f4312..dcedad540e1f 100755
--- a/nixos/doc/manual/development/releases.xml
+++ b/nixos/doc/manual/development/releases.xml
@@ -60,13 +60,6 @@
       Make sure a channel is created at http://nixos.org/channels/. </link>
      </para>
     </listitem>
-    <listitem>
-     <para>
-      <link xlink:href="https://github.com/NixOS/nixpkgs/settings/branches">
-      Let a GitHub nixpkgs admin lock the branch on github for you. (so
-      developers can’t force push) </link>
-     </para>
-    </listitem>
     <listitem>
      <para>
       <link xlink:href="https://github.com/NixOS/nixpkgs/compare/bdf161ed8d21...6b63c4616790">