search

stefanha / git-publish

Prepare and store patch revisions as git tags
MIT License
133 stars 35 forks source link

Pass more options to --pull-request [Feature request] #104

Open philmd opened 3 years ago

philmd commented 3 years ago

git-publish --pull-request push a tag to the repository. When this repository is hosted on Gitlab.com and has Continuous Integration enabled, this triggers a new pipeline by default. Pipelines aren't free. The option to not trigger pipelines is to use push using --push-option=ci.skip (see https://docs.gitlab.com/ee/user/project/push_options.html).

stefanha commented 3 years ago

Good idea. I think there should be an option since whether or not to run CI depends on the workflow.

Some people may want CI to run, especially if the maintainer merging the request wants to see the CI results.

Others will have already run CI on their branch before pushing it and need --push-option=ci.skip.