• git

Understanding HEAD in Git

Reducing keystrokes when doing git push every time

June 07, 2020 ■ 4 min read

• git

Empty Git commits for CI

Trigger CI from terminal by using empty git commits

June 06, 2020 ■ 2 min read