nowfound

Dev tools · June 20, 2018

Mergeable – GitHub bot to ensure consistency in PR and Issues

🤖 All the missing GitHub automation 🙂 🙌 . Contribute to mergeability/mergeable development by creating an account on GitHub.

Mergeable – GitHub bot to ensure consistency in PR and Issues launched on June 20, 2018 with 8 votes, #956 of 2,653 launches that month and more than 75% of that year's launches. The site was still online in September 2026, 8 years on.

Does a similar job

all alternatives →
  • 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.

  • GitBot2022 · ▲64

    A comprehensive set of developer tools for Discord!

  • A cleaner alternative to the “Fork Me on GitHub” ribbon2015 · github.com · ▲45

    A fresher "Fork me on GitHub" callout. Contribute to tholman/github-corners development by creating an account on GitHub.

  • Git Auto – Automate Your Git Workflow2015 · github.com · ▲6

    Git workflow automation. Contribute to stevenmiller888/git-auto development by creating an account on GitHub.

  • Backup your public GitHub repositories with GitHub-backup2014 · github.com · ▲25

    Backup GitHub repositories locally. Contribute to ericlathrop/github-backup development by creating an account on GitHub.

  • GitHub2025 · github.com · ▲12

    Pyali786/tutorial-py

More dev tools this month

the category →
  • /dev/null▲486

    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 · 28d ago · corespeed.io

Source: Show HN post ↗

Launched alongside, June 2018

the whole month →