Skip to content

Commit

Permalink
Bump cookiecutter template to 121653
Browse files Browse the repository at this point in the history
  • Loading branch information
RKIMetadataExchange committed Mar 5, 2024
1 parent a6bf113 commit 01f483e
Show file tree
Hide file tree
Showing 2 changed files with 11 additions and 10 deletions.
2 changes: 1 addition & 1 deletion .cruft.json
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
"template": "https://github.com/robert-koch-institut/mex-template",
"commit": "77ce51f46b0897c6fbd29782c32923075e296c2a",
"commit": "12165319453990fdbe02bce39a3236337e298bc0",
"checkout": null,
"context": {
"cookiecutter": {
Expand Down
19 changes: 10 additions & 9 deletions .github/workflows/reviewing.yml
Original file line number Diff line number Diff line change
@@ -1,26 +1,27 @@
name: Review
name: Reviewing

on:
pull_request:
types:
- opened
workflow_dispatch:
- reopened

jobs:
assignee:
runs-on: ubuntu-latest
timeout-minutes: 10
if: >-
github.event.pull_request.user.login != ${{ vars.MEX_BOT_USER }} &&
github.event.pull_request.user.login != 'dependabot[bot]'
steps:
- name: Add assignee
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: |
user_name="${{ github.event.pull_request.user.login }}"
user_type=$(gh api "users/${user_name}" --jq ".type")
echo $user_name is a $user_type
if [[ "$user_type" != "User" ]]; then
user_name="${{ vars.MEX_BOT_USER }}"
echo using $user_name instead
fi
if [[ -z "${{ github.event.pull_request.assignee.login }}" ]]; then
echo assigning to ${{ github.event.pull_request.user.login }}
gh pr edit ${{ github.event.pull_request.html_url }} --add-assignee ${{ github.event.pull_request.user.login }}
else
echo already assigned
gh pr edit ${{ github.event.pull_request.html_url }} --add-assignee "${user_name}"
fi

0 comments on commit 01f483e

Please sign in to comment.