Re: Management of duplicate commits in public repository