New GitHub Username

February 03, 2015

I’ve changed my GitHub username from Z1MM32M4N to jez (hopefully it’ll be a little easier to type now!). Make sure you update any remote URLs for repos of mine that you’ve cloned.

Updating your Git remotes

If you’ve cloned one of my repositories, you can update it’s URL by running

$ git remote -v

to check the current remote URL, which should look something like https://github.com/Z1MM32M4N/<repo name>. Then, you can run

$ git remote set-url origin https://github.com/jez/<repo name>

to actually change the URL.

Because of the way that GitHub handles username changes, you should be able to continue using the current URLs at least for the time being, but any time you pull you’ll get a message from GitHub asking to update the remote URLs.

I tried to update all links referencing Z1MM32M4N to use the new username, but I’m sure I’ve missed a few. If you find a “broken” link, shoot me a message letting me know!

Lenses & Composition

It’s really cool how composition works with lenses! Continue reading

Some Intuition on Lenses

Published on February 06, 2018

Code Review from the Command Line

Published on January 13, 2018