Skip to content

Commit

Permalink
Merge branch 'main' into mrgrain/chore/request-cli-integ-test
Browse files Browse the repository at this point in the history
  • Loading branch information
mergify[bot] authored Jul 26, 2023
2 parents bb28ff2 + e53e8dc commit 9c40532
Show file tree
Hide file tree
Showing 43 changed files with 2,431 additions and 901 deletions.
4 changes: 4 additions & 0 deletions .github/workflows/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -59,4 +59,8 @@ Owner: Core CDK team
### Issue Reprioritizer
[issue-reprioritization.yml](issue-reprioritization.yml): GitHub action that labels `p2`
issues as `p1` if a certain level of community engagement is met.
Owner: Core CDK team

### Issue Metrics
[issue-metrics.yml](issue-metrics.yml): GitHub action that runs monthly to report on metrics for issues created last month.
Owner: Core CDK team
5 changes: 4 additions & 1 deletion .github/workflows/pr-linter.yml
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,6 @@

name: PR Linter
on:
# Necessary to have sufficient permissions to write to the PR
pull_request_target:
types:
- labeled
Expand All @@ -12,10 +11,14 @@ on:
- opened
- synchronize
- reopened
pull_request_review:
types:
- submitted
status:

jobs:
validate-pr:
# Necessary to have sufficient permissions to write to the PR
permissions:
contents: read
pull-requests: write
Expand Down
56 changes: 56 additions & 0 deletions .github/workflows/repo-metrics.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,56 @@
name: Monthly repo metrics
on:
workflow_dispatch:
schedule:
- cron: '0 2 1 * *'

permissions:
issues: write
pull-requests: read

jobs:
build:
name: metrics
runs-on: ubuntu-latest

steps:
- name: Get dates for last month
shell: bash
run: |
# Calculate the first day of the previous month
first_day=$(date -d "last month" +%Y-%m-01)
# Calculate the last day of the previous month
last_day=$(date -d "$first_day +1 month -1 day" +%Y-%m-%d)
# Set an environment variable with the date range
echo "$first_day..$last_day"
echo "last_month=$first_day..$last_day" >> "$GITHUB_ENV"
- name: Report on issues
uses: github/issue-metrics@v2
env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
SEARCH_QUERY: 'repo:aws/aws-cdk is:issue created:${{ env.last_month }} -reason:"not planned"'

- name: Create report for issues
uses: peter-evans/create-issue-from-file@v4
with:
title: Monthly issue metrics report
token: ${{ secrets.GITHUB_TOKEN }}
content-filepath: ./issue_metrics.md
assignees: evgenyka

- name: Report on PRs
uses: github/issue-metrics@v2
env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
SEARCH_QUERY: 'repo:aws/aws-cdk is:pr created:${{ env.last_month }} -is:draft'

- name: Create report for PRs
uses: peter-evans/create-issue-from-file@v4
with:
title: Monthly issue metrics report
token: ${{ secrets.GITHUB_TOKEN }}
content-filepath: ./issue_metrics.md
assignees: evgenyka
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
# Lock versions of pip packages
certifi==2022.12.7
certifi==2023.7.22
chardet==3.0.4
idna==2.10
urllib3==1.26.7
Expand Down

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading

0 comments on commit 9c40532

Please sign in to comment.