Skip to content
This repository has been archived by the owner on Feb 14, 2023. It is now read-only.

Mention about removing the added label #102

Merged
merged 1 commit into from
Jul 8, 2020
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
13 changes: 13 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,7 @@
3. If the pull request is not mergeable (unmergeable), this action do:
* Comment to the pull request about the changeset which might breaks it.
* Change the label for its pull request to mark that it is unmergeable.
* This action can remove the added label if the PR's conflict is resolved by rebasing or others (_optional_).


## Motivation
Expand Down Expand Up @@ -57,3 +58,15 @@ jobs:
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
```

#### Debugging

If you have some troubles, please try to see information
by inserting the below snippet to `steps` section for this workflow.

```yaml
- name: Dump GitHub Context
env:
GITHUB_CONTEXT: ${{ toJson(github) }}
run: echo "${GITHUB_CONTEXT}"
```