Raise if github_id does not match when updating user
Use non unique index on repsitories(github_id) for now

We can't have unique index on github_id on production, because we have
some duplicates in the DB. An unique index will be added when we deal
with it.