Is it redundant and unnecessary to periodically backup the files in a Git repo, that also has a remote repo? My understanding is all repositories are full backups. So an individual developer with a local repo pushing to a remote repo is two full copies of the data in the repo.

Is it redundant and unnecessary to periodically backup the files in a Git repo, that also has a remote repo? My understanding is all repositories are full backups. So an individual developer with a local repo pushing to a remote repo is two full copies of the data in the repo.

Is it redundant and unnecessary to periodically backup the files in a Git repo, that also has a remote repo? My understanding is all repositories are full backups. So an individual developer with a local repo pushing to a remote repo is two full copies of the data in the repo.

Is it redundant and unnecessary to periodically backup the files in a Git repo, that also has a remote repo? My understanding is all repositories are full backups. So an individual developer with a local repo pushing to a remote repo is two full copies of the data in the repo.