tuned;

afford newer Mercurial version, just before odd problems in 4.0 and 4.1;

afford more logging (following defaults on Ubuntu);

allow to override repository versions at runtime;

follow Phabricator update 2020 Week 5;

prefer mercurial-2.8.2 for more robustness (i.e. the version used by the hosting service https://admin.phacility.com);

clarified signature -- more operations;

clarified signature;

proper search with multiple "pages" of results;

tuned messages;

tuned message;

clarified signature;

clarified signature;

clarified signature;

tuned;

clarified signature;
tuned;

more repository information;

tuned;

clarified signature: error_code may contain low-level message instead of proper "ERR-" code;

clarified signature;
more operations;

tuned signature;

support for conduit API;

eliminated pointless option -T: it merely tests ssh config of root, which is not required later;

more rebust setup for Subversion -- assuming that diffusion.ssh-port is only set in phabricator/conf/local/local.json, not in the database;

more packages: required for svn;

more robust setup: avoid blind shot at "the latest" version;

proper default;

more robust: avoid accidental use of stdin;

support for Phabricator upgrade;

tuned signature;

tuned message;

avoid odd (harmless) problem with Mercurial 4.5.3 provided by Ubuntu 18.04 on first push: "couldn't write revision branch cache names";

proper support for multiple installations;

clarified "isabelle phabricator -l": avoid surprise with non-existent default installation;

more robust;

more robust;

tuned;

support database dump;

proper check of Linux version;

proper mysql user setup: avoid superuser powers in production;
specific phabricator.cache-namespace, following standard cluster configuration by Phacility;

support for pwgen;

more packages;

misc tuning and clarification;

tuned PHP setup;

clarified errors: PHP daemon can fail under odd circumstances;

more robust;

tuned message;

more sanity checks;

just one isabelle-phabricator-phd service, which manages all processes uniformly (NB: "bin/phd stop" affects all installations);

clarified signature;

tuned;

tuned;

clarified signature;

more support for multiple daemons;

more robust: system ssh service is required for Phabricator ssh service;

configure SSH hosting via "isabelle phabricator_setup_ssh";
tuned message;

more documentation;
tuned;

tuned;

more options;

tuned message;

added "isabelle phabricator";

tuned messages;

clarified command-line;

tuned messages;

tuned messages;

more messages -- expose potential database problems;

clarified errors: include stdout;

clarified directory;

tuned;

tuned message;

clarified permissions;

discontinued somewhat pointless Isabelle options: setup implicitly assumes Ubuntu 18.04;

support for Phabricator mail configuration;
discontinued template for "isabelle phabricator_update" -- is likely to become a plain shell script;

proper names for multiple installations;

more phabricator setup;

proper service name (again): it is specific to each installation;

back to plain name, to have it accepted my mysql;

prefer system user setup, e.g. avoid occurrence on login screen;

more robust: install PHP daemon after Apache;

clarified name prefixes: global config always uses "isabelle-phabricator";

more phabricator setup;

more phabricator setup;

more phabricator setup;

more options;

more packages;

MySQL setup;
tuned;

Apache setup;
proper "-" for URL: avoid problems with "_";

some support for Phabricator server;