mirror of
https://github.com/langchain-ai/delta-rs.git
synced 2026-07-01 20:34:35 -04:00
chore: remove the awaiting-feedback label on issue comments
This should help manage the back and forth on some older issues Signed-off-by: R. Tyler Croy <rtyler@brokenco.de>
This commit is contained in:
@@ -7,6 +7,19 @@ permissions:
|
||||
issues: write
|
||||
|
||||
jobs:
|
||||
# When a comment is created on an issue, we can automatically remove the
|
||||
# awaiting-feedback label to make it more clear which issues need to be
|
||||
# revisited
|
||||
remove-labels:
|
||||
runs-on: ubuntu-slim
|
||||
steps:
|
||||
- name: Remove awaiting-feedback label if present
|
||||
run: |
|
||||
gh issue edit \
|
||||
${{ github.event.issue_number }} \
|
||||
--remove-label "awaiting-feedback" \
|
||||
-R $${ github.repository }}
|
||||
|
||||
issue_assign:
|
||||
runs-on: ubuntu-slim
|
||||
if: (!github.event.issue.pull_request) && github.event.comment.body == 'take'
|
||||
@@ -22,4 +35,4 @@ jobs:
|
||||
curl -H "Authorization: token ${{ secrets.GITHUB_TOKEN }}" -d '{"assignees": ["${{ github.event.comment.user.login }}"]}' https://api.github.com/repos/${{ github.repository }}/issues/${{ github.event.issue.number }}/assignees
|
||||
else
|
||||
echo "Issue ${{ github.event.issue.number }} cannot be assigned to ${{ github.event.comment.user.login }}"
|
||||
fi
|
||||
fi
|
||||
|
||||
Reference in New Issue
Block a user