[RFC] push-history: storing date, user and changesets for each push operation
Elifarley Callado Coelho Cruz
elifarley at gmail.com
Fri Oct 7 10:30:35 CDT 2011
I'll check those out, thanks!
2011/10/7 Benoît Allard <benoit at aeteurope.nl>
> On 10/7/2011 4:09 PM, Elifarley Callado Coelho Cruz wrote:
>> Sometimes it's important to know who has made a push, when, and which
>> changesets were included.
>> This information could also be used by extensions to provide alternate
>> methods of access control.
>> My initial idea is to create a file named '.hg/push-history' and for
>> each successful push, store a new record in it with these fields:
>> date - login - revset - source
>> date: when the push was accepted
>> login: who did the push
>> revset: which changesets were pushed
>> source: ssh / http / local file / something else?
>> other fields?
>> Any suggestions ?
> You should check out the pushlog extension from Mozilla, it does pretty
> much what you are looking for. <http://hg.mozilla.org/**hgcustom/pushlog/<http://hg.mozilla.org/hgcustom/pushlog/>
> Looks like the SonicHg extension does it also. <
Google Buzz: http://bit.ly/elifarley-gbuzz
Google Reader: http://bit.ly/elifarley-reader
Professional info: http://linkd.in/elifarley |
" Do not believe anything because it is said by an authority, or if it is
said to come from angels, or from Gods, or from an inspired source.
Believe it only if you have explored it in your own heart and mind and body
and found it to be true. Work out your own path, through diligence."
- Gautama Buddha
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Mercurial-devel