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!



Jake on the Web

If you cared enough to read that far, you should consider following me on GitHub or paying a visit to my homepage. If this post was about one of my open source projects, make sure to star it on GitHub! I love hearing what people think, so feel free to comment, open an issue, or send me an email.

Reach for Markdown, not LaTeX

Writing should be a pleasant experience. With the right tools, it can be. LaTeX is powerful but cumbersome to use. With Markdown, we can focus on our writing, and worry about the presentation later. Pandoc can take care of the presentation for us, so the only thing left to do is start. Continue reading

Vim and Haskell in 2016 on OS X

Published on August 03, 2016

Let’s Have a Chat about Encryption

Published on April 17, 2016