Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add user contribs count in AUTHORS.md #118

Open
PeterBowman opened this issue Dec 1, 2017 · 1 comment
Open

Add user contribs count in AUTHORS.md #118

PeterBowman opened this issue Dec 1, 2017 · 1 comment
Labels
documentation priority: low

Comments

@PeterBowman
Copy link
Member

This is a follow-up to #117. There are tools that automate such tasks, but we need to consider a manual step, too:

  • initial contributions to SourceForge: inspect by hand, write down Santiago's and Juan's commits and use it to hardcode the actual script
  • GitHub contributions to the robotDevastation repository (yes, this one): YARP folks use a handy git command like so:
    git shortlog -ens --no-merges v2.3.70..v2.3.70.1
@jgvictores jgvictores mentioned this issue Dec 1, 2017
Open
@PeterBowman
Copy link
Member Author

The perfect pair: git shortlog + .mailmap. Ref: https://git-scm.com/docs/git-shortlog#_mapping_authors.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
documentation priority: low
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@PeterBowman