Item logo image for github-pr-ci-skip

github-pr-ci-skip

ExtensionWorkflow & Planning4 users
Item media 1 (screenshot) for github-pr-ci-skip

Overview

Adds ci skip to PR title as default.

If current pr merge title not include [ci skip] or [skip ci], this extension automatically append [ci skip] to title. If you want to remove [ci skip], easily, click `ci skip toggle` checkbox.

Details

  • Version
    0.0.13
  • Updated
    August 30, 2025
  • Offered by
    hinoshita1992
  • Size
    12.01KiB
  • Languages
    English (United States)
  • Developer
    Email
    hinoshita1992@gmail.com
  • Non-trader
    This developer has not identified itself as a trader. For consumers in the European Union, please note that consumer rights do not apply to contracts between you and this developer.

Privacy

The developer has disclosed that it will not collect or use your data.

This developer declares that your data is

  • Not being sold to third parties, outside of the approved use cases
  • Not being used or transferred for purposes that are unrelated to the item's core functionality
  • Not being used or transferred to determine creditworthiness or for lending purposes
Google apps