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.