nowfound

Dev tools · September 1, 2020

Pull Request Badge

Add context to your pull request descriptions

Pull Request Badge launched on September 1, 2020 with 7 votes, #1,241 of 3,898 launches that month and more than 50% of that year's launches. The site was still online in September 2026, 6 years on.

What it does

A GitHub App lets you programatically insert badges in your pull request descriptions and then link them to anything. I initially created to deal with JIRA links, but it can easily present any kind of information through the simple and flexible API.

After installation, Pull Request Badge will receive a webhook event whenever a Pull Request is opened or edited. Based on the configuration file in your repository, badges that match criteria will be inserted at the beginning of the Pull Request description. Initially created to create JIRA badges, Pull Request Badge evolved to handle any kind of information. For example: how about adding a preview badge with a link to a preview instance? Or indicate if the Pull Request is rather large? Check out our playground to learn more. Your creativity is the limit. Hello there! I'm Stefan 👋 I care a lot about efficiency and that's the reason I built a browser extension that allows you to navigate…from pullrequestbadge.com

Does a similar job

all alternatives →
  • Pull Reminders for GitHub2018 · ▲148

    Slack reminders and metrics for pull requests

  • PullNotifier2024 · pullnotifier.com · ▲361

    Improve productivity for dev teams using Github and Slack

  • Git Assistant2023 · gitassistant.com · ▲76

    Describe a feature; get a pull request. Github + Chat GPT

  • GitBarApr 2026 · gitbar.app · ▲126

    Every pull request, one menubar. GitHub, GitLab & Azure

  • Cherry Pie2019 · github.com · ▲65

    Chrome extension to craft the perfect pull request

  • My Badges2023 · github.com · ▲81

    GitHub badges for profile README.md

More dev tools this month

the category →
  • /dev/null▲482

    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 · 27d ago · github.com

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

    Dev tools · 25d 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 · 20d ago · talanoa.email

  • CoreSpeed▲332

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

    Dev tools · 28d ago · corespeed.io

Source: Product Hunt launch ↗

Launched alongside, September 2020

the whole month →
  • Synthesia▲943

    Generate professional-looking AI videos from text in minutes

    AI · 2020 · synthesia.io

  • IdeasAI▲801

    OpenAI-powered startup idea generator

    AI · 2020 · ideasai.com

  • Tables helps teams easily track & automate tasks

    Work · 2020 · tables.area120.google.com

  • LS

    Almost eight years ago I launched an online “Linux sysadmin course for newbies” here at HN. It was a side-project that went well, but never generated enough money to allow me to fully commit to leaving the Day Job. After surviving the Big C, and getting made redundant I thought I might improve and relaunch it commercially – but my doctors are a pessimistic bunch, so it looked like I didn’t have the time. Instead, I rejigged/relaunched it via a Reddit forum this February as free and open - and have now gathered a team of helpers to ensure that it keeps going each month even after I can’t…

    Commerce · 2020

  • A pool party in your pocket

    Life & fun · 2020 · cellular.poolside.fm

  • 65 solo founders making $370,000/mo

    Life & fun · 2020