Education

TwitterFacebook
Get flash to fully experience Pearltrees
English

https://ava.co.uk/support/faq/git-version-control/video-101-getting-started-with-git-version-control-videos-4-6.aspx

Video 101 getting started with Git version control part deux

These videos are a recording of a presentation made by Jeremy Skinner to introduce GIT version control to the employees of AVA and smooth the adoption of GIT as our distributed version control system.
The thing about Git is that it's oddly liberal with how and when you use it. Version control systems have traditionally required a lot of up-front planning followed by constant interaction to get changes to the right place at the right time and in the right order. And woe unto thee if a rule is broken somewhere along the way, or you change your mind about something, or you just want to fix this one thing real quick before having to commit all the other crap in your working copy. Git is quite different in this regard. You can work on five separate logical changes in your working copy -- without interacting with the VCS at all -- and then build up a series of commits in one fell swoop. http://tomayko.com/writings/the-thing-about-git

The Thing About Git

VCC is a mechanical verifier for concurrent C programs. https://www.codeplex.com/

CodePlex - Open Source Project Hosting

Oren Ellenbogen's Blog

After 4 years at Sears Israel (previously known as Delver), I felt like I’m ready for my next big challenge. http://www.lnbogen.com/
Tovább Tanulás