Add a `do not merge` label that prevents merging

Métricas do repositório

Stars

11.625 stars (11.625 stars)

Métricas de merge de PR

Nenhuma PRs mesclada em 30d (Nenhuma PRs mesclada em 30d)

Description

name: Do Not Merge

on:
  pull_request:
    types: [synchronize, opened, reopened, labeled, unlabeled]

jobs:
  do-not-merge:
    if: ${{ contains(github.event.*.labels.*.name, 'do not merge') }}
    name: Prevent Merging
    runs-on: ubuntu-latest
    steps:
      - name: Check for label
        run: |
          echo "Pull request is labeled as 'do not merge'"
          echo "This workflow fails so that the pull request cannot be merged"
          exit 1

Guia do colaborador

Direção de pesquisa

Siga o exemplo fornecido na discussão da issue. Crie um rótulo "do not merge" nas configurações do repositório. Em seguida, adicione um novo arquivo de fluxo de trabalho do GitHub Actions (por exemplo, .github/workflows/do not merge.yml) com o código YAML fornecido. Certifique se de que o fluxo de trabalho falhe quando o rótulo estiver presente, impedindo o merge. Teste abrindo um PR e aplicando o rótulo.

Pilha de tecnologia

github actions

Domain

devopsci cdtooling

Tipo Issue

Funcionalidade

DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.

2

Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.

1-3 horas

Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.

Ativo

ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.

Claro

Prerequisites

GitGitHub Actions

Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.

80