github-pr-ci-skip
Item media 1 screenshot

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 this behavior easily, click `ci skip toggle` checkbox.

0 out of 5No ratings

Google doesn't verify reviews. Learn more about results and reviews.

Details

  • Version
    0.0.5
  • Updated
    May 4, 2022
  • Offered by
    hinoshita1992
  • Size
    5.34KiB
  • Languages
    日本語
  • 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

Related

Cohost Tag Groups

5.0(2)

Adds the ability to conveniently add multiple related tags to a Cohost post.

Double Subtitles for Prime by MovieLingo

4.8(11)

Extension allows for displaying additional subtitles above the standard Prime Video ones.

Rename!

4.0(2)

Rename the current tab.

YouTube Full Title For Videos

4.7(51)

This extension shows the headlines of the video entirely without hiding them partially, as by default.

Briefkasten Bookmarks

5.0(1)

Companion extension for the Briefkasten bookmark app.

Pinbook: Pinboard bookmarking

5.0(2)

Add bookmarks to Pinboard as easily as regular Chrome bookmarks.

Chrome Tab Renamer

3.0(10)

Chrome Tab Renamer allows you to update the name of tabs in your browser.

CopyTabTitleUrl

4.7(20)

Copy the title and URL to the clipboard.

EASY CORS

4.6(17)

Add cors headers to response header.

URL in title

4.6(56)

Reformats the title of each tab according to its URL.

YouTube Clickbait Remover by MidSpike.Com

4.5(2)

This extension will convert uppercase youtube titles into lowercase titles to avoid clickbaiting tactics.

Numbered Tabs

3.9(22)

Add a numeric prefix before the tab's title.

Cohost Tag Groups

5.0(2)

Adds the ability to conveniently add multiple related tags to a Cohost post.

Double Subtitles for Prime by MovieLingo

4.8(11)

Extension allows for displaying additional subtitles above the standard Prime Video ones.

Rename!

4.0(2)

Rename the current tab.

YouTube Full Title For Videos

4.7(51)

This extension shows the headlines of the video entirely without hiding them partially, as by default.

Briefkasten Bookmarks

5.0(1)

Companion extension for the Briefkasten bookmark app.

Pinbook: Pinboard bookmarking

5.0(2)

Add bookmarks to Pinboard as easily as regular Chrome bookmarks.

Chrome Tab Renamer

3.0(10)

Chrome Tab Renamer allows you to update the name of tabs in your browser.

CopyTabTitleUrl

4.7(20)

Copy the title and URL to the clipboard.

Google apps