I had a vague idea about GitHub, but I feel like I learned something systematic... It was really helpful. I listened to a good lecture...