`git mv` is just shorthand for `git rm` and `git add`. All Git knows is that there was a file called `oldfile` and there's now a file called `newfile`, and whether or not they have similar contents or filenames. It's…
You're reading too much into the office closures. GitHub has basically always been fully remote and only a minority of employees have ever even seen one of the offices outside of occasional team meetups. Practically,…
GitHub was already fully remote since forever, and long before Covid. The offices were just there as an option for employees who happened to live nearby, and for occasional, in-person meetings, but I doubt there was a…
`git mv` is just shorthand for `git rm` and `git add`. All Git knows is that there was a file called `oldfile` and there's now a file called `newfile`, and whether or not they have similar contents or filenames. It's…
You're reading too much into the office closures. GitHub has basically always been fully remote and only a minority of employees have ever even seen one of the offices outside of occasional team meetups. Practically,…
GitHub was already fully remote since forever, and long before Covid. The offices were just there as an option for employees who happened to live nearby, and for occasional, in-person meetings, but I doubt there was a…