My Git Mirror

Mon 11, May 2020

I just mirrored my GitHub repositories, just in case they go down, at I'm using GitList for now.

The GitHub iOS app

Wed 18, Mar 2020

The GitHub iOS app is finally available! It's pretty cool imo (and has multiple icons you can choose from!)

Screenshot 1 Screenshot 2 Screenshot 3 Screenshot 4 Screenshot 5 Screenshot 6

Git: Deleting the last pushed commit

Wed 11, Mar 2020

This is something I really gotta remember:

git push origin +abcd1234^:master

The above example deletes the commit abcd1234 (the newest one) on the branch master and pushes it to origin.

You are on page 1 right now.

Back to top