nowfound

Dev tools · February 22, 2018

don't merge

a GitHub app for prevent merging Pull Request.

don't merge launched on February 22, 2018 with 4 votes. The site was still online in September 2026, 8 years on.

What it does

don't merge is a GitHub App for prevent merging of Pull Requests with "don't merge" or "do not merge" label selected on labels area.

Prevent merging of Pull Requests with a custom label selected on labels area. - Muhnad/dont-merge

Does a similar job

all alternatives →
  • GA
  • Sublime Merge – A Git client from the makers of Sublime Text2018 · sublimemerge.com · ▲935

    Discover a powerful Git GUI Client for Mac, Windows and Linux, from the makers of Sublime Text. Line-by-line Staging. Commit Editing. Unmatched Performance.

  • PullNotifier2024 · pullnotifier.com · ▲361

    Improve productivity for dev teams using Github and Slack

  • Merge 2.02022 · merge.dev · ▲497

    Launch hundreds of integrations in days for free

  • The missing inbox for GitHub pull requests2025 · github.com · ▲26

    Mergeable is an improved inbox for GitHub pull requests. They can be organized according to your rules into any number of sections, each section being defined as an arbitrary search query. Data is refreshed periodically, and is kept locally in the browser. Mergeable is an open source project, which can be self-hosted very easily. A free public instance is also available to get started very quickly.

  • GitHub2025 · github.com · ▲13

    Prevent merging of malicious code in pull requests and CI/CD

More dev tools this month

the category →
  • /dev/null▲489

    a social network for devs

    Dev tools · 3d ago · dev-null.sh

  • open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.

    Dev tools · 28d ago · github.com

  • Contribute to reladraw/reladraw development by creating an account on GitHub.

    Dev tools · 26d ago · github.com

  • OpenBot▲362

    Grok Bot alternative: free, local, open-source, multiplayer

    Dev tools · 23d ago · openbot.run

  • Talanoa▲346

    Hi HN, I’m a fullstack developer, and honestly, I’ve lost count of how many side projects I’ve worked on over the years. But one idea kept coming back to me: a different kind of email client. It first came to me in 2014: “What if we could handle emails more like conversations?” Every year, I’d revisit this concept in my “Build Notes.” Ten years later, no one had built exactly what I had in mind — so I finally decided to do it myself. That’s how Talanoa was born. I wanted something focused on people, not timelines. I was tired of marking messages as unread just to remember to reply later, or…

    Dev tools · 21d ago · talanoa.email

  • CoreSpeed▲332

    One MCP for everything your agents need: apps, memory, tools

    Dev tools · 29d ago · corespeed.io

Source: Product Hunt launch ↗

Launched alongside, February 2018

the whole month →
  • Find the shortest hyperlinked paths between any two pages on Wikipedia.

    Life & fun · 2018 · sixdegreesofwikipedia.com

  • Witeboard▲1,017

    A real-time whiteboard for your team. No signups required.

    Dev tools · 2018 · witeboard.com

  • Discover your next favorite thing, now on iOS and Android 📱

    Life & fun · 2018

  • PixelSnap▲945

    Measure every pixel on your screen with ease ✨

    Dev tools · 2018 · pixelsnap.com

  • Daily tappable tech news and stories.

    Life & fun · 2018 · sip.fyi

  • Logo▲866

    Clean, simple, hassle-free logo design

    Growth · 2018 · logo.shapefactory.co