GitHub had always been about social coding from the beginning (e.g., forking and PRing repos)