From 9451ff2e323165859088222769b1065650e9890e Mon Sep 17 00:00:00 2001
From: Florian Sesser <florian@private.storage>
Date: Tue, 19 Oct 2021 00:39:02 +0000
Subject: [PATCH] Fix dev docs for repo update script

Thanks @jcalderone for pointing me to it
---
 docs/dev/README.rst      | 2 +-
 tools/update-github-repo | 0
 2 files changed, 1 insertion(+), 1 deletion(-)
 mode change 100644 => 100755 tools/update-github-repo

diff --git a/docs/dev/README.rst b/docs/dev/README.rst
index af746a35..29eb38e1 100644
--- a/docs/dev/README.rst
+++ b/docs/dev/README.rst
@@ -62,7 +62,7 @@ To update the version of packages we import from gitlab, run:
 
 .. code: shell
 
-   nix-shell --command 'tools/update-gitlab nixos/pkgs/<package>/repo.json'
+   nix-shell --command 'update-gitlab-repo nixos/pkgs/<package>/repo.json'
 
 That will update the package to point at the latest version of the project.\
 The command uses branch and repository owner specified in the ``repo.json`` file,
diff --git a/tools/update-github-repo b/tools/update-github-repo
old mode 100644
new mode 100755
-- 
GitLab