nowfound

Dev tools · May 2, 2018

GA

GitHub App that prevents merging of pull requests with configuration

GitHub App that prevents merging of pull requests with configuration launched on May 2, 2018 with 9 votes, #1,119 of 2,985 launches that month and more than 75% of that year's launches. The site was not reachable when checked in September 2026.

Visit jusx.github.io ↗Alternatives

Does a similar job

all alternatives →
  • PullNotifier2024 · pullnotifier.com · ▲361

    Improve productivity for dev teams using Github and Slack

  • Mergify2018 · mergify.com · ▲98

    Stop merging your pull requests manually

  • 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.

  • don't merge2018 · github.com · ▲4

    a GitHub app for prevent merging Pull Request.

  • Mergefly2019 · mergefly.com · ▲84

    A modern UI for GitHub pull requests

  • Automatically create QA environments for your GitHub pull requests2013 · prune.io · ▲72

    Prune.io — available for private acquisition, represented by DomainIntake. Confidential inquiries; escrow-secured closing.

More dev tools this month

the category →
  • /dev/null▲490

    a social network for devs

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

  • Whiteboard (YC W26) – an open-source IDE for thoughtful software design▲423

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

    Dev tools · 28d ago · github.com

  • Reladraw – A diagram language where you decide where to place things▲411

    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 · 24d 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: Show HN post ↗

Launched alongside, May 2018

the whole month →
  • Google Duplex▲1,447

    An AI assisstant that can talk on the phone 🤖

    AI · 2018 · research.google

  • Lobe▲1,236

    Visual tool for building custom deep learning models

    AI · 2018 · github.com

  • Screely▲1,099

    Instantly turn screenshots into beautiful images

    Growth · 2018 · screely.com

  • Fugue▲1,000

    Free stock music for your videos, games and UI

    Growth · 2018 · icons8.com

  • Spirit▲754

    The animation tool for the web.

    Dev tools · 2018 · spiritapp.io

  • Google Trends▲700

    A new experience to explore what the world is searching 🔎📈📊

    Life & fun · 2018 · trends.google.com