squiddly

Extension Developer Tools

Overview

Disable the github merge button based on failing checks or a label.

This extension disables the Github merge button under circumstances you configure. You can configure it to disable the button if the PR has failing checks, or if a label you specify is present on the PR. The extension is mean to help you not merge PRs that aren't ready, but shouldn't be relied on as the only thing preventing that.

0 out of 5
No ratings
Learn more about results and reviews.

Details

Version
1.3.0
Updated
September 26, 2025
Flag concern
Size
40.58KiB
Languages
English
Developer
Email
joshcartme.846g3@passmail.net
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

Support

For help with questions, suggestions, or problems, visit the developer's support site

Enable Disabled Buttons

0.0

Remove the disabled property from button tags and track which buttons have been altered

Git History Browser Extension

4.8

Agrega un botón a github para ver el historial del archivo / Add a button to github to see the file history

Open with Visual Studio Code - Github

4.5

Overrides Open in Visual Studio button on GitHub with Open in Visual Studio Code

GitHub Copilot Coding Agent 防火牆切換器

0.0

在 GitHub 儲存庫頁面上加入一個切換按鈕，可以快速切換 GitHub Copilot Coding Agent 防火牆的開啟與關閉狀態。

PullApprove

0.0

Integrates PullApprove into the GitHub interface

PR Monitor

4.1

Get notified when you receive a pull request on GitHub.

GitHub Better Line Counts

5.0

Remove generated files from GitHub line counts

GitHub Downloader

0.0

Download GitHub repos or subfolders with one click

GitHub Merge Guardian

5.0

Prevent incorrect merges on GitHub's pull request.

GitHub Absolute Dates

0.0

Toggle between relative and absolute dates on GitHub

GitHub PR Tool

0.0

Mark all files as viewed / not viewed in GitHub pull requests.

GitHub Markdown Printer

4.8

Print GitHub Flavored Markdown exactly as it appears on GitHub, with just two clicks.