Summary
- tuned NEWS;
- more rebust setup for Subversion -- assuming that diffusion.ssh-port is only set in phabricator/conf/local/local.json, not in the database;
- tuned;
- tuned documentation;
- more checks for release;
- more packages: required for svn;
- more robust setup: avoid blind shot at "the latest" version;
- more documentation;
- proper default;
- more robust: avoid accidental use of stdin;
- support for Phabricator upgrade;
- tuned signature;
The file was modified | NEWS (diff) |
The file was modified | src/Doc/System/Phabricator.thy (diff) |
The file was modified | src/Pure/Tools/phabricator.scala (diff) |
The file was modified | NEWS (diff) |
The file was modified | src/Doc/System/Phabricator.thy (diff) |
The file was modified | Admin/Release/CHECKLIST (diff) |
The file was modified | src/Pure/Tools/phabricator.scala (diff) |
The file was modified | src/Pure/Tools/phabricator.scala (diff) |
The file was modified | src/Doc/System/Phabricator.thy (diff) |
The file was modified | src/Pure/Tools/phabricator.scala (diff) |
The file was modified | src/Pure/Tools/phabricator.scala (diff) |
The file was modified | src/Pure/Tools/phabricator.scala (diff) |
The file was modified | src/Pure/Tools/phabricator.scala (diff) |