4 ms·

Meta: Beautifully written release summary, including hyperlinks and animated gif "demos". Inspirational for our own releases :-)

by Radim 10y ago

SquareWheel 10y ago
I find the gifs make the text around them far harder to focus on. I'd much prefer they only played on click or hover.
- gkya 10y ago
  I'm actually surprised that the browsers don't have gif playback controls by now.
  - stonogo 10y ago
    Until relatively recently. You could stop gif animations on a page in firefox. They removed the functionality, citing bloat, and suggested someone write an extension. Shortly after, they integrated Pocket and Hello and broke the extension apis that would have made a gif control extension easy.
  - deleted 10y ago
    [deleted]
  - scrame 10y ago
    In a desktop: right-click, "show controls". Should work in FF / Chrome.
    - SquareWheel 10y ago
      Showing controls is only possible on <video> tags. This won't work on gifs.
paradite 10y ago
Nice formatting aside, I am slightly concerned that GitHub "releasing a release note" for Git would further blur the distinction between the two for new programmers. 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/Documentation/RelNotes/2.10.0.txt 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.
- rickycook 10y ago
  i assume that's at least partly intentional from the github point of view
- danso 10y ago
  Oh geez, you're giving me flashbacks to trying to introduce Github to non-technical students. I basically just don't even try to explain the difference, because I have them use a minimal set of git's functionality, that is, the subcommands add, commit, and push...and of course, clone and init at the beginning of the quarter. 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.
DigitalJack 10y ago
Do you know what they might have used to make the gifs?
- ramses0 10y ago
  https://github.com/paulguy/asciirec https://github.com/paulguy/asciirec is very nice, and could be helpful but doesn't do gifs directly.
- hk__2 10y ago
  This works well: https://gist.github.com/dergachev/4627207 https://gist.github.com/dergachev/4627207
- scotu 10y ago
  it doesn't make a gif but I think it's really nifty to get a similar (better?) effect: https://asciinema.org/ https://asciinema.org/
- paradite 10y ago
  I use this on OS X and it works great: https://github.com/vvo/gifify https://github.com/vvo/gifify I tried a lot other services to convert quicktime recording to gif but all of them have color encoding issues.
raus22 10y ago
and with humour: > Git's internal date-formatting code can now correctly show dates past the year 2100. Phew, fixed with only 84 years to spare.

Meta: Beautifully written release summary, including hyperlinks and animated gif "demos". Inspirational for our own releases :-)

by Radim 10y ago

Meta: Beautifully written release summary, including hyperlinks and animated gif "demos". Inspirational for our own releases :-)

SquareWheel 10y ago

I find the gifs make the text around them far harder to focus on. I'd much prefer they only played on click or hover.

gkya 10y ago
I'm actually surprised that the browsers don't have gif playback controls by now.
- stonogo 10y ago
  Until relatively recently. You could stop gif animations on a page in firefox. They removed the functionality, citing bloat, and suggested someone write an extension. Shortly after, they integrated Pocket and Hello and broke the extension apis that would have made a gif control extension easy.
- deleted 10y ago
  [deleted]
- scrame 10y ago
  In a desktop: right-click, "show controls". Should work in FF / Chrome.
  - SquareWheel 10y ago
    Showing controls is only possible on <video> tags. This won't work on gifs.

paradite 10y ago

Nice formatting aside, I am slightly concerned that GitHub "releasing a release note" for Git would further blur the distinction between the two for new programmers. 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/Documentation/RelNotes/2.10.0.txt 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.

rickycook 10y ago
i assume that's at least partly intentional from the github point of view
danso 10y ago
Oh geez, you're giving me flashbacks to trying to introduce Github to non-technical students. I basically just don't even try to explain the difference, because I have them use a minimal set of git's functionality, that is, the subcommands add, commit, and push...and of course, clone and init at the beginning of the quarter. 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.

DigitalJack 10y ago

Do you know what they might have used to make the gifs?

ramses0 10y ago
https://github.com/paulguy/asciirec https://github.com/paulguy/asciirec is very nice, and could be helpful but doesn't do gifs directly.
hk__2 10y ago
This works well: https://gist.github.com/dergachev/4627207 https://gist.github.com/dergachev/4627207
scotu 10y ago
it doesn't make a gif but I think it's really nifty to get a similar (better?) effect: https://asciinema.org/ https://asciinema.org/
paradite 10y ago
I use this on OS X and it works great: https://github.com/vvo/gifify https://github.com/vvo/gifify I tried a lot other services to convert quicktime recording to gif but all of them have color encoding issues.

raus22 10y ago

and with humour: > Git's internal date-formatting code can now correctly show dates past the year 2100. Phew, fixed with only 84 years to spare.