The good thing with Git is, that many people have copies of the entire project history. This is a backup and people can still work on the project until servers are up again.
That should’ve been a git repo, just like the wiki. I imagine major projects are backing them up or mirroring them somewhere else. It’s not the first time this has come up.
The good thing with Git is, that many people have copies of the entire project history. This is a backup and people can still work on the project until servers are up again.
It also makes migrating a project to another git hosting service easy. The only problem for us were the tickets.
That should’ve been a git repo, just like the wiki. I imagine major projects are backing them up or mirroring them somewhere else. It’s not the first time this has come up.