Skip to content

Instantly share code, notes, and snippets.

@madeso
Created July 2, 2020 13:09
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save madeso/779c820cc1b5b10b75156b176d36f664 to your computer and use it in GitHub Desktop.
Save madeso/779c820cc1b5b10b75156b176d36f664 to your computer and use it in GitHub Desktop.
Github contributors issue

Hello,

For some of my repos, there are contributors listed on the repo main page (Code) that according to insights/contributions aren't contributors.

Examples repos

https://github.com/madeso/dotfiles https://github.com/madeso/PrettyGood.net https://github.com/madeso/euphoria

Background

I know the offending user (my work account), that I sometimes erroneously commited with, so I used filter-branch to remove him from the git log. However that was a while ago, and the contributors on the main page still hasn't been updated.

Workaround

After a week (I guess), out of despair, I pushed one of my smaller repos (1 branch, 64 commits total, no issues etc) to a new repo and it only contains 1 contributor as expected: https://github.com/madeso/PrettyGood.net -> https://github.com/madeso/pgnet

This works, but for other repos that have stars, watches, several branches etc this doesn't work.

Questions

So, that leads me to wondering two things:

  1. How often is the main page contributors updated?
  2. Is it based anything more than the insights/contributions that the header links to?
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment