Merge branch 'master' into dedicated-targets
* master: [Rakefile] Perform setup on for integration only if needed 2 [Rakefile] Don't set the git user as not needed anymore [Rakefile] Perform setup on for integration only if needed. [Doc] Make clear that an error occurred in a pre/post hook.
Showing
Please
register
or
sign in
to comment