Skip to content
This repository has been archived by the owner on Jun 6, 2022. It is now read-only.

Catch repo renames #75

Open
Procrat opened this issue Sep 2, 2015 · 1 comment
Open

Catch repo renames #75

Procrat opened this issue Sep 2, 2015 · 1 comment
Assignees

Comments

@Procrat
Copy link
Member

Procrat commented Sep 2, 2015

No description provided.

@Procrat Procrat self-assigned this Sep 2, 2015
@iasoon
Copy link
Member

iasoon commented Feb 14, 2016

Each repository has an id. We should change the database structure to use this id instead of a name. We could then catch changed data in each arriving event. We should do the same for #55.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

No branches or pull requests

2 participants