Skip to content

allow deleting while resolving an upgrade failure #1489

allow deleting while resolving an upgrade failure

allow deleting while resolving an upgrade failure #1489

name: Contributor signed CONTRIBUTORS.markdown
on:
pull_request:
jobs:
check-contributor:
runs-on: ubuntu-24.04
steps:
- uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4
with:
sparse-checkout: CONTRIBUTORS.markdown
- name: Look for @${{github.event.pull_request.user.login}} in CONTRIBUTORS.markdown
shell: bash
run: |
echo "If this step fails, make sure you've added yourself to CONTRIBUTORS.markdown"
echo "to acknowledge Unison's MIT license."
egrep '\* .* \(@${{github.event.pull_request.user.login}}\)' \
CONTRIBUTORS.markdown