Push Options: Control Gitlab CI/CD and Merges with Git Push | Hacker News Reader