Skip to content

Commit

Permalink
issue-pr-contrib-metrics: improve section header wording
Browse files Browse the repository at this point in the history
Signed-off-by: Thilo Fromm <[email protected]>
  • Loading branch information
t-lo committed Nov 9, 2023
1 parent 3e1a27a commit e62d3fd
Showing 1 changed file with 7 additions and 4 deletions.
11 changes: 7 additions & 4 deletions .github/workflows/issue-pr-contrib-metrics.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -181,25 +181,28 @@ jobs:
tail --lines=+2 discussion_metrics.md >> report.md
echo -e "\n\n# Issue Metrics" >> report.md
echo -e "\n## Open Issues Summary" >> report.md
# remove full issues list from stats; we only want the summary
tail --lines=+2 issues_open.md \
| awk '/^\| Title \| URL \| Author \|/{silent=1} {if (silent==0) print $0}' \
>> report.md
echo -e "\n## New Issues" >> report.md
echo -e "\n## New Issues created (and still open)" >> report.md
tail --lines=+2 issues_opened.md >> report.md
echo -e "\n## Closed Issues" >> report.md
echo -e "\n## Issues closed" >> report.md
tail --lines=+2 issues_closed.md >> report.md
echo -e "\n\n# Pull Requests Metrics" >> report.md
echo -e "\n## Open PRs Summary" >> report.md
# remove full PRs list from stats; we only want the summary
tail --lines=+2 prs_open.md \
| awk '/^\| Title \| URL \| Author \|/{silent=1} {if (silent==0) print $0}' \
>> report.md
echo -e "\n## New PRs" >> report.md
echo -e "\n## New PRs created (and still open)" >> report.md
tail --lines=+2 prs_opened.md >> report.md
echo -e "\n## Closed PRs" >> report.md
echo -e "\n## PRs closed" >> report.md
tail --lines=+2 prs_closed.md >> report.md
- name: Create issue
Expand Down

0 comments on commit e62d3fd

Please sign in to comment.