uses one SSH
user, but separates accounts by SSH keys.
Without any further knowledge of your infrastructure, it is hard to advise
any further.
Best,
Gergely
On 21 Feb 2015 10:14, Gaurav Chhabra varuag.chha...@gmail.com wrote:
Thanks for the reply Gergely! I am wondering how can we log pushes
.
What happens here is that developer who ran git-reset will send a ref
update to the remote (gitolite); that's what you can log. However, Git by
itself is not capable of logging. You will have to implement it in your
hooks.
Best,
Gergely
On 22 Feb 2015 07:06, Gaurav Chhabra varuag.chha
I came across a problem recently. One of the developers committed some
changes in a branch. When he checked the branch log (git checkout branch;
git log), the commit (say, *abc*) was showing up but when he checked the
log for a file (git log file_name), which was part of the given commit (
to an older state.
Best,
Gergely
On 21 Feb 2015 02:57, Gaurav Chhabra varuag.chha...@gmail.com wrote:
I came across a problem recently. One of the developers committed some
changes in a branch. When he checked the branch log (git checkout
branch; git log), the commit (say, *abc*) was showing up