Updating URLs and contributors after the merge with Github repository