#4036 Specify the home when doing pushes
Merged by pingou. Opened by pingou.
specify_home  into  master

Download 4036.patch

This is needed on deployment where all users are not using the same user
on the system, for example on src.fedoraproject.org.
In this case, the hook is ran as a dedicated user which is likely
different from the gitolite user.
So specify that the HOME folder is the gitolite's so it gitolite can
find where to put the logs.

:thumbsup:

rebased onto cae9b794d01248c4ebae2ddc9e5a0e02ad8076fd

This is no longer really needed when deploying without gitolite but if by any chances we're not the only ones to twist gitolite to behave this way, this will make pagure work for them :)

rebased onto 763a34a1d8fdb4e04d8e527512a8e9a83b675793

rebased onto 00d0c4ce7e2e1baf754adddd79984a2371e414a2

Thanks for the review :)

Pull-Request has been merged by pingou

Metadata