Check for deleted repos

ZeusWPI / gamification

Gamification of Zeus member engagement. Replaced by gamification2

https://github.com/ZeusWPI/gamification2

MIT License

4 stars 5 forks source link

Check for deleted repos #39

Open Procrat opened 9 years ago

Procrat commented 9 years ago

As a webhook
While seeding (in case a webhook request was missed)

iasoon commented 9 years ago

If I'm not mistaken, there is no webhook for deleting repositories.

Additionally, how should the scoring system handle deleted repositories?

TomNaessens commented 9 years ago

Keep them for the points, but mark them as deleted.

On 22 Jul 2015 at 13:21:54, iasoon (notifications@github.com) wrote:

If I'm not mistaken, there is no webhook for deleting repositories.

Additionally, how should the scoring system handle deleted repositories?

— Reply to this email directly or view it on GitHub.

Procrat commented 9 years ago

There is indeed none; that's why this is an issue.

I'm not 100% sure yet, but I think we can safely delete the repository objects and everything that references it. This has no effect on scores, which seems right to me.

iasoon commented 9 years ago

In fact, this does have an effect on scores. It will remove all scoring an user received for working on the repository in question.

Procrat commented 9 years ago

We discussed this and we should just make a Rake task for this.