Blog

My .gitconfig and .gitignore files

Mon, 30 March 2020

My .gitconfig file.[user]   name = Roger Thomas   email = <my>@example.com [core]   excludesfile = /Users/me/.gitignore   editor = nano   whitespace = fix,-indent-with-non-tab,trailing-space,cr-at-eol [push]   default = current [status]   branch = 0   short = 0 [alias]   comit = commit ... read more

Automatically convert line endings on commit in git (and save yourself when you've already made a mistake!)

Wed, 27 September 2017

We've all been there. Used a piece of code and discovered some funky line endings. You should really always use \n for a new line. Unfortunately, this isn't as widespread as we'd all like, and furthermore isn't enforced.So you go to do a git diff and you see something like this:Rogers-MacBook-Pro:co... read more

Deleting a tag from git (even after pushing)

Sun, 06 November 2016

We've all been there. You've made a mistake and somehow managed to push up a tag that shouldn't be in git. Thankfully, deleting a git tag (including on the remote) is fairly easy.First, delete the tag locally:$ git tag -d my_boo_boo_tag Now, simply let the remote know about the delete:$ git push or... read more