PR#3524: Gitolite usage fixes and improvements -

This PR introduces two changes:

It adds a new task that can be used to run only the gitolite post-compilation step. This is then utilized on changes in ssh keys, since these don't need to run change gitolite config and run compilation.
It fixes processing of deploy keys (gitolite needs to be run after the deploy keys are added + we can use the newly created optimized method mentioned above)

Code looks good, pending test results :thumbsup:

rebased onto 42a9dae41a6649124a0ad198ed3f7b1d79f5be76

Aug 21, 2018

rebased onto 5028987171666a1b5b7d035e3468db480f26bc3d

Aug 21, 2018

rebased onto 2becbeb4508b90aac2e8731a6817c5462dffeb1d

Aug 21, 2018

rebased onto efa25a1b5a451828adbcb1aeff4952647fedd599

Aug 23, 2018

Added tests and rebased.

rebased onto 5ab53dc751919691415631e5381dcd6b317ff611

Aug 23, 2018

Pull-Request has been merged by pingou

Aug 23, 2018

Assignee

None

Tags

No Tags