ColtHands

Git Snippets

How to remove file that was added to .gitignore after it was commited.

git rm {file_name} --cached

How to add changes to previous not pushed commit.

git commit --amend --no-edit

niorad

divideBy x y = go x y 0
  where go a b count
        | a < b = (count, a)
        | otherwise = go (a - b) b (count + 1)