Extensions by hinoshita1992

github-pr-ci-skip-toggle-checkbox

🧩 More extensions

Adds checkbox near to PR merge button for easy adds [ci skip] comment to merge title.