shard_

3 ms·

1. 1.▲
   by shard_ 3y ago

   `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 only when you
2. 2.▲
   by shard_ 4y ago

   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, all it means is th
3. 3.▲
   by shard_ 4y ago

   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 single person who work