Skip to content

🔨 GitHub Action to close issues related to the merge of a pull request.

License

Notifications You must be signed in to change notification settings

ldez/gha-mjolnir

Use this GitHub action with your project
Add this Action to an existing workflow or create a new one
View on Marketplace

Folders and files

NameName
Last commit message
Last commit date

Latest commit

b0f25c5 Â· Jan 6, 2025

History

63 Commits
Jan 6, 2025
Feb 18, 2019
Feb 18, 2019
Dec 24, 2024
Dec 24, 2024
Dec 24, 2024
Feb 18, 2019
Mar 19, 2022
Jan 23, 2023
Dec 24, 2024
Dec 24, 2024
Dec 24, 2024
Dec 24, 2024
Dec 24, 2024
Jul 25, 2024
Feb 18, 2019

Repository files navigation

Mjolnir

Release Build Status Docker

Sponsor

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 (ex: master, main). For example, when a branch is related to version (e.g. v1.5, v2.0, ...)
  • To add the same milestone defined on the PR to closed issues.

Supported Syntax

  • 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/gha-mjolnir@v1.4.1
        env:
          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}