Reducing keystrokes when doing git push every time
Trigger CI from terminal by using empty git commits