GitHub repository: mkusaka/github-pr-ci-skip-toggle
Description: Chrome extension that adds ci skip toggle checkbox to near PR merge button.