--- a/src/Pure/Tools/phabricator.scala Thu Nov 14 11:35:02 2019 +0100
+++ b/src/Pure/Tools/phabricator.scala Thu Nov 14 11:36:14 2019 +0100
@@ -242,7 +242,7 @@
www_user + " ALL=(" + daemon_user + ") SETENV: NOPASSWD: /usr/bin/git, /usr/bin/hg, /usr/bin/ssh, /usr/bin/id\n" +
name + " ALL=(" + daemon_user + ") SETENV: NOPASSWD: /usr/bin/git, /usr/bin/git-upload-pack, /usr/bin/git-receive-pack, /usr/bin/hg, /usr/bin/svnserve, /usr/bin/ssh, /usr/bin/id\n")
- Isabelle_System.chmod("0440", sudoers_file)
+ Isabelle_System.chmod("440", sudoers_file)
config.execute("config set diffusion.ssh-user " + Bash.string(config.name))