PunitD
Posts
Tips
About
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