Git 2.10 has been released
github.com
github.com
Inspirational for our own releases :-)
If I were new to Git and GitHub, I would have thought that Git is a product of the company GitHub.
Edit: After searching through git repo and official site, I could not find any nicely "rendered" release note beyond the official release note in raw markdown here: https://raw.githubusercontent.com/git/git/master/Documentati... , so I think GitHub is doing us a good thing here by giving a high level summary and actually rendering the markdown properly.
And I teach them virtually nothing about Github other than that it's a website that you interface with git. For me, Github is a great place to get students to push their assignments and papers because I can easily comment on them...once in awhile I'll do a force push to fix something. We never do anything with forking, and I strongly discourage them from using the Github web interface to edit documents, as that is the most frequent cause of merge conflicts.
If they follow what I say, git and Github are just glorified document-uploading systems. I've almost never had a student fuck up in a way that we had to rollback something, because for the most part, people who don't use version control as their job don't need it. Version control is only particularly relevant when working in a team, doing iterative work, or deploying to multiple environments. These are things that students do not need to worry about.
And actually, even the comsci students don't really need to worry about it.
If I do attempt to explain the difference between git and Github, I usually use the analogy of git is to Github as your cameraphone is to Instagram.
I like the cameraphone/instagram analogy. Thanks! I usually do all the pushes/pulls etc. using a file:// remote so that people can see what happens and then just tell them that github is what happens with you move the remote to the cloud and give it a nice UI.
Also, I think cheaper git trainers have shown up on the market and many people are already familiar with it both of which have reduced the number of requests I get.
Shortly after, they integrated Pocket and Hello and broke the extension apis that would have made a gif control extension easy.
I tried a lot other services to convert quicktime recording to gif but all of them have color encoding issues.
no such message
on that pageMaybe you could limit the criticism to the fact that it has been submitted to HN and voted onto the front page, which would be a criticism of distribution medium and of the medium consuming masses.
Yes I know there are ways around it and config files you can set up, but heck, it's just a command line "use this PEM file". It's not hard.
Why do git developers concern about the colored output? It's completely unrelated to SCM at all. I love the functionality. But it shouldn't be only for git. Can we have a separate utility that reads a diff and gloriously print out the contents, all by itself, and only that?
I really don't want to see git becomes another bloatware.
2) As long as GIT diff exists, making it more usable should certainly be a core part of changes to GIT diff. There are many utilities you can use for GIT diffs easily enough instead of the base diff. But I like the fact that if I'm at a machine where my preferred utilities are not setup, I still have a very usable diff built into GIT.