0
0
Fork 0
mirror of https://github.com/ohmyzsh/ohmyzsh.git synced 2024-09-19 04:01:21 +02:00
ohmyzsh/.github/workflows/project.yml

132 lines
4.3 KiB
YAML
Raw Normal View History

2022-01-02 02:30:00 +01:00
name: Project tracking
on:
issues:
types: [opened]
pull_request_target:
types: [opened, synchronize]
jobs:
add-to-project:
name: Add to project
runs-on: ubuntu-latest
steps:
- name: Read project data
env:
2022-01-02 03:32:07 +01:00
GITHUB_TOKEN: ${{ secrets.PROJECT_TOKEN }}
2022-01-02 02:30:00 +01:00
ORGANIZATION: ohmyzsh
PROJECT_NUMBER: "1"
run: |
# Get Project data
2022-01-02 03:32:07 +01:00
GITHUB_TOKEN=$GITHUB_TOKEN gh api graphql -f query='
2022-01-02 02:30:00 +01:00
query($org: String!, $number: Int!) {
organization(login: $org){
projectNext(number: $number) {
id
fields(first:20) {
nodes {
id
name
}
}
}
}
}
' -f org=$ORGANIZATION -F number=$PROJECT_NUMBER > project_data.json
# Parse project data
cat >> $GITHUB_ENV <<EOF
PROJECT_ID=$(jq '.data.organization.projectNext.id' project_data.json)
PLUGIN_FIELD_ID=$(jq '.data.organization.projectNext.fields.nodes[] | select(.name == "Plugin") | .id' project_data.json)
THEME_FIELD_ID=$(jq '.data.organization.projectNext.fields.nodes[] | select(.name == "Theme") | .id' project_data.json)
EOF
2022-01-02 02:30:00 +01:00
- name: Add to project
env:
2022-01-02 03:32:07 +01:00
GITHUB_TOKEN: ${{ secrets.PROJECT_TOKEN }}
2022-01-02 02:30:00 +01:00
ISSUE_ID: ${{ github.event.issue.node_id }}
PR_ID: ${{ github.event.pull_request.node_id }}
run: |
item_id="$(gh api graphql -f query='
mutation($project: ID!, $item: ID!) {
addProjectNextItem(input: {projectId: $project, contentId: $item}) {
projectNextItem {
id
}
}
}
' -f project=$PROJECT_ID -f item=${ISSUE_ID:-$PR_ID} --jq '.data.addProjectNextItem.projectNextItem.id')"
echo "ITEM_ID=$item_id" >> $GITHUB_ENV
2022-01-02 02:30:00 +01:00
- name: Classify Pull Request
if: github.event_name == 'pull_request_target'
2022-01-02 03:32:07 +01:00
env:
GITHUB_TOKEN: ${{ secrets.PROJECT_TOKEN }}
2022-01-02 02:30:00 +01:00
run: |
gh pr view ${{ github.event.pull_request.number }} --json files --jq '.files.[].path' | awk -F/ '
/^plugins\// {
plugins[$2] = 1
}
/^themes\// {
gsub(/\.zsh-theme$/, "", $2)
themes[$2] = 1
}
END {
for (plugin in plugins) {
print plugin >> "plugins.list"
}
for (theme in themes) {
print theme >> "themes.list"
}
}
'
# If only one plugin is modified, add it to the plugin field
if [[ $(wc -l < plugins.list) = 1 ]]; then
echo "PLUGIN=$(cat plugins.list)" >> $GITHUB_ENV
fi
# If only one theme is modified, add it to the theme field
if [[ $(wc -l < themes.list) = 1 ]]; then
echo "THEME=$(cat themes.list)" >> $GITHUB_ENV
fi
2022-01-02 02:30:00 +01:00
- name: Fill Pull Request fields in project
if: github.event_name == 'pull_request_target'
2022-01-02 03:32:07 +01:00
env:
GITHUB_TOKEN: ${{ secrets.PROJECT_TOKEN }}
2022-01-02 02:30:00 +01:00
run: |
gh api graphql -f query='
mutation (
$project: ID!
$item: ID!
$plugin_field: ID!
$plugin_value: String!
$theme_field: ID!
$theme_value: String!
) {
set_plugin: updateProjectNextItemField(input: {
projectId: $project
itemId: $item
fieldId: $plugin_field
value: $plugin_value
}) {
projectNextItem {
id
}
}
set_theme: updateProjectNextItemField(input: {
projectId: $project
itemId: $item
fieldId: $theme_field
value: $theme_value
}) {
projectNextItem {
id
}
}
}
' -f project=$PROJECT_ID -f item=$ITEM_ID \
-f plugin_field=$PLUGIN_FIELD_ID -f plugin_value=$PLUGIN \
-f theme_field=$THEME_FIELD_ID -f theme_value=$THEME \
--silent