I guess it can be removed: this is one of the purpose of git ;)