Recent posts

My CV on github

less than 1 minute read

I’ve always had my CV versioned. In the early days I used svn and then I moved to git. I had my own private repository but recently I have decided to move it...

HOWTO: restore a deleted file in git

less than 1 minute read

$ git rev-list -n 1 HEAD -- path_to_file #this gives you the commit's hash $ git checkout commit_hash^ -- path_to_file # it restores the file