This repository was archived by the owner on Apr 21, 2026. It is now read-only.
v1865: Merge pull request #2300 from guillaumelecerf/allow_skip_in_github_ctrl
Allow a deploy triggered by a GitHub webhook to be skipped
Allow a deploy triggered by a GitHub webhook to be skipped