ldez / Gha Mjolnir
Licence: other
🔨 GitHub Action to close issues related to the merge of a pull request.
Stars: ✭ 28
Programming Languages
go
31211 projects - #10 most used programming language
Labels
Projects that are alternatives of or similar to Gha Mjolnir
Contribute A Thon
Month-long Open Source contributing event ✨
Stars: ✭ 26 (-7.14%)
Mutual labels: pull-requests, issues
Github Project Automation Plus
🤖 Automate GitHub Project cards with any webhook event
Stars: ✭ 134 (+378.57%)
Mutual labels: pull-requests, issues
Repo Lockdown
GitHub Action that immediately closes and locks issues and pull requests
Stars: ✭ 56 (+100%)
Mutual labels: pull-requests, issues
Contributors On Github
🌵 Show stats about contributors on github
Stars: ✭ 391 (+1296.43%)
Mutual labels: pull-requests, issues
aloba
🤖 [Myrmica Aloba 🐜] Bot: Add labels and milestone on pull requests and issues.
Stars: ✭ 18 (-35.71%)
Mutual labels: issues, pull-requests
Lock Threads
GitHub Action that locks closed issues and pull requests after a period of inactivity
Stars: ✭ 156 (+457.14%)
Mutual labels: pull-requests, issues
Export Pull Requests
Export pull requests and/or issues to a CSV file. Supports GitHub, GitLab, and Bitbucket
Stars: ✭ 68 (+142.86%)
Mutual labels: pull-requests, issues
Github Bot
GitHub 自动处理 issue、PR、releases 机器人
Stars: ✭ 434 (+1450%)
Mutual labels: pull-requests, issues
release-changelog-builder-action
A GitHub action that builds your release notes / changelog fast, easy and exactly the way you want.
Stars: ✭ 515 (+1739.29%)
Mutual labels: issues, pull-requests
Github Issue Templates
🔣 A collection of GitHub issue and pull request templates
Stars: ✭ 3,074 (+10878.57%)
Mutual labels: pull-requests, issues
assign-author
GitHub Actions to assign author to issue or PR
Stars: ✭ 55 (+96.43%)
Mutual labels: issues, pull-requests
backup-github-repo
Backup all the issues and pull requests of a Github repo, including the comments, events, and labels, as JSON and as HTML
Stars: ✭ 31 (+10.71%)
Mutual labels: issues, pull-requests
Galliumos Distro
Docs, issues, and artwork sources for GalliumOS
Stars: ✭ 305 (+989.29%)
Mutual labels: issues
Mirror
A blogging tool powered by GitHub API. Write your blog on GitHub issue.
Stars: ✭ 590 (+2007.14%)
Mutual labels: issues
Powershelltraps
Collection of PowerShell traps and oddities
Stars: ✭ 296 (+957.14%)
Mutual labels: issues
HacktoberFest-2020
Open source is changing the world. Join global community for the yearly celebration of open source software!
Stars: ✭ 21 (-25%)
Mutual labels: pull-requests
Probot Gpg
A GitHub App that enforces GPG signatures on pull requests (no longer maintained)
Stars: ✭ 13 (-53.57%)
Mutual labels: pull-requests
Mjolnir
Close issues related to the merge of a pull request.
Useful:
- to close multiple issues related to a pull request.
- to close issues related to a pull request not based on the default branch (i.e.
master). For example, when a branch is related to version (e.g.v1.5,v2.0, ...)
Supported Syntaxes
- prefixes (case insensitive):
close,closes,closed,fix,fixes,fixed,resolve,resolves,resolved - issues references separators (can be mixed):
(space),,(period) - prefix and issues references can be separated by:
(space),:(colon), or both.
Examples:
Fixes #1,#2,#3
close #1, #2, #3
fix #1 #2 #3
resolve #1,#2 #3
Resolves: #1,#2,#3
closed : #1, #2, #3
Usage
name: Close issues related to a merged pull request based on master branch.
on:
pull_request:
types: [closed]
branches:
- master
jobs:
closeIssueOnPrMergeTrigger:
runs-on: ubuntu-latest
steps:
- name: Closes issues related to a merged pull request.
uses: ldez/[email protected]
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].