Retry ci with changelog

[sangbida]

Run CI when PR is edited and description contains Changelog. I tested and confirmed this in this PR :)
Changelog-None

[rustyrussell]

Ack 7ac89dc

[endothermicdev]

This is great!

Bikeshed: Should we make it strictly require Changelog-None vs "Changelog"? It might be a shame to edit it with Changelog-Added only to lose the description in the actual release notes. Either way, being able to kick the CI here is a huge win, so I'm not particular.

[sangbida]

@endothermicdev I believe this change runs in tandem with the Changelog lock check that we already have built into CI which has the stricter check here. So I don't think you could have anything but Changelog-None in your PR description, this change only retry's the CI step and doesn't perform any changelog checks.

      - name: Check changelog
        env:
          PR_DESCRIPTION: "${{ github.event.pull_request.body || '' }}"
          EVENT_NAME: "${{ github.event_name }}"
          BASE_REF: "${{ github.base_ref || 'master' }}"
        run: |
          echo "Event Name: $EVENT_NAME"
          echo "Base Ref: $BASE_REF"
          echo "PR DESCRIPTION: $PR_DESCRIPTION"
          if [ "$EVENT_NAME" = "pull_request" ]; then
            if [[ "$PR_DESCRIPTION" != *"Changelog-None"* && \
                  -z "$(git log origin/$BASE_REF..HEAD --oneline --grep='Changelog-')" && \
                  "$(git rev-parse --abbrev-ref HEAD)" != "$BASE_REF" ]]; then
              echo "::error::'Changelog' entry is missing in all commits, and 'Changelog-None' not specified in the PR description"
              exit 1
            else
              if [[ "$PR_DESCRIPTION" == *"Changelog-None"* ]]; then
                echo "Changelog found in PR description"
              else
                echo "Changelog found in Commit \"$(git log origin/$BASE_REF..HEAD --oneline --grep='Changelog-')\""
              fi
            fi
          else