Re: [julia-users] Re: documentation suggestions

[Kristoffer Carlsson]

It is hard to actually lose work with git. With git reflog you can always see 
where your HEAD has been and you can then git reset to a previous revision.