Home
Phabricator
Search
Log In
Diffusion
Subversion
R883:1572200
Pass the ci.skip option when pushing to git
R883:1572200
Actions
Edit Commit
Download Raw Diff
Edit Related Objects...
Edit Revisions
Edit Tasks
Subscribe
Mute Notifications
Award Token
Flag For Later
Tags
None
Subscribers
None
Description
Pass the ci.skip option when pushing to git
This should prevent unwanted triggers of the CI.
Details
Committed
ltoscano
Jun 17 2020, 11:23 PM
Parents
R883:1572199: Rewrite the handling of the local kdoctools sources
Branches
Unknown
Tags
Unknown
ltoscano
committed
R883:1572200: Pass the ci.skip option when pushing to git
.
Jun 17 2020, 11:23 PM