• 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