What happens if I rename my repository?

I need to change the name of my repository, as its namespace share with another older project (we were both very unimaginative).

I can rename the github repository, but what happens on deepsource’s end? Do I have to do any changes?

Hey @bicobus,

On repository rename, GitHub notifies us the change via a webhook and the changes will be reflected automatically in DeepSource’s end. You do not need to do anything.