Hacker News Reader

I just learned about push-options last week.

https://git-scm.com/docs/git-push#Documentation/git-push.txt...

https://docs.gitlab.com/ee/user/project/push_options.html

Please vote for the resulting issues from that thread in order to help others discover the feature: https://news.ycombinator.com/item?id=31040637

What do you use them for? I went through the GitLab doc, I see how it could make sense for automated PRs, but for manual ones I don't see how I would benefit from them.

Debugging a deploy job (stage) from a feature branch via an env variable.

Reply on news.ycombinator.com