4 Commits

Author	SHA1	Message	Date
Charly Delay	b0ea73a682	fix(doc): broken SonarQube Runner links ... Change-Id: I24a6909cd46ddedf5255ecac68dfe28144784129 TN: P817-008	2016-08-17 10:05:28 -04:00
Charly Delay	d7124595d0	gnathub: remove obsolete GNATprove plugin ... This plugin stopped working some time ago due to major changes in GNATprove output. Remove support for it as it will be re-implemented as part of P701-003. Change-Id: I7c0b6399243a865c57211b0f2c16573bf5ed63a9 TN: P701-003 TN: N805-021	2016-07-26 16:42:45 +02:00
Charly Delay	b02ce249ee	gnathub: add support for --dry-run switch ... Add a [ --dry-run | -n ] switch to execute GNAThub in dry-run mode. Dry-run mode skips DB manipulation (initialisation, population, update), environment setup (project directory hierarchy, ...) and Python script execution (when using --exec). It also prevents the execution of plugins. Change-Id: Ibe160ffc739d7027f9c56940832656d0e8a126a0 TN: P303-043	2016-03-07 20:13:17 +01:00
Charly Delay	d3c8306e04	Repository reorganization ... The documentation is now global and its sources moved to the top-level directory. Same goes for the know-problems-* and features-* files that are now shared between all submodules. This commit needs to be push in synchronization with change I0a342aea8d in the ANOD specification repository. Change-Id: If350f109ae6a40ae3e632bfa8491145aaab8a52f TN: OA28-039	2015-12-07 17:28:54 +01:00