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!

Testing, Types, & Correctness

It’s important to both have strong testing practices and languages with disciplined type systems. The hardest part of writing quality software is ensuring that it runs without bugs. This is why testing and type systems are complementary—they’re distinct tools to help us write better code. Continue reading

If, Else, & Purity

Published on September 01, 2017

Haskell Development with Neovim

Published on July 16, 2017