Re: removing permissions for long unused accounts?

[Dmitry V. Levin]

Hi,

On Tue, Feb 23, 2021 at 01:19:42AM +0100, Bruno Haible wrote:
> Hi Paul,
> 
> > Also, by "active" do we mean "authored a patch", "committed a patch", or 
> > "pushed a commit to Savannah"? I assume pushing is what counts. Dunno if 
> > that's easily measured, though.
> 
> Pushing is what counts, yes. There is nothing to do for contributors who
> send us patches for us to commit.
> 
> It is easy to measure, e.g.
> $ name='Joel'; git log | grep -C 1 "Author: $name " | head -n 3

It's easy to see the list of those who "authored a patch"
for the last 4 years:
$ git log --since='4 years' |git shortlog -s

It's as easy to see the list of those who "committed a patch"
for the last 4 years:
$ git log --pretty=fuller --since='4 years' |git shortlog -c -s

There is no way to tell from the git repository who pushed these commits.


-- 
ldv