diff --git a/docs/dev/README.rst b/docs/dev/README.rst
index af746a3586d2def59050430f756825a87e8c9fcf..29eb38e1f1695084d3276d41d4a063be4a53a015 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