Blogmarks...

Git commands

• Forking a repository
• Removing sensitive data
• Reclaiming space
• Deleting branches
  • remote: **git push origin –delete ** or **git push origin :**
  • local: git branch -d the_local_branch
• Revert to previous commit
  • git reset –hard HEAD
• Discard unstaged changes
  • git clean -df & git checkout – .

Collection of interesting bookmarks

• Marcus Kazmierczak" Solutions Log