Viewing profile — shard_

`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…

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 o…

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-per…