Skip to content

Commit

Permalink
feat(actions): add a comment when web ui is used
Browse files Browse the repository at this point in the history
  • Loading branch information
raisedadead committed Nov 6, 2023
1 parent b02c292 commit 9d718dc
Show file tree
Hide file tree
Showing 2 changed files with 60 additions and 28 deletions.
28 changes: 0 additions & 28 deletions .github/workflows/dont-use-github.yml

This file was deleted.

60 changes: 60 additions & 0 deletions .github/workflows/github-no-web-commits.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,60 @@
name: GitHub - No Commits on GitHub Web
on:
pull_request_target:
types:
- opened
- reopened
# The "synchronize" type may not be used because code review commits,
# from GitHub UI might be acceptable. Enable this if you want to block
# all commits from GitHub UI.
#
# - synchronize

jobs:
has-web-commits:
runs-on: ubuntu-22.04
steps:

- name: Check if commits are made on GitHub Web UI
id: check-commits
run: |
PR_NUMBER=$(jq --raw-output .pull_request.number "$GITHUB_EVENT_PATH")
COMMITS_URL="https://api.github.com/repos/$GITHUB_REPOSITORY/pulls/$PR_NUMBER/commits"
IS_GITHUB_COMMIT=$(curl --header "Authorization: Bearer ${{ secrets.GITHUB_TOKEN }}" "$COMMITS_URL" | jq '[.[] | .commit.committer.name] | any(.[]; . == "GitHub")')
if [ "$IS_GITHUB_COMMIT" = "true" ]; then
# Set a output for next task
echo "IS_GITHUB_COMMIT=true" >> $GITHUB_OUTPUT
fi
- name: Add comment on PR if commits are made on GitHub Web UI
uses: actions/github-script@d7906e4ad0b1822421a7e6a35d5ca353c962f410 # v6
env:
IS_GITHUB_COMMIT: ${{ steps.check-commits.outputs.IS_GITHUB_COMMIT }}
with:
github-token: ${{ secrets.GITHUB_TOKEN }}
script: |
const isDev = await github.rest.teams.getMembershipForUserInOrg({
org: "freeCodeCamp",
team_slug: "dev-team",
username: context.payload.pull_request.user.login
}).catch(() => ({status: 404}));
const isMod = await github.rest.teams.getMembershipForUserInOrg({
org: "freeCodeCamp",
team_slug: "moderators",
username: context.payload.pull_request.user.login
}).catch(() => ({status: 404}));
if (
isDev.status !== 200 &&
isMod.status !== 200
) {
github.rest.issues.createComment({
issue_number: context.issue.number,
owner: context.repo.owner,
repo: context.repo.repo,
body: "Thanks for your pull request.\n\n**Please do not add commits via the GitHub Web UI.**\n\nIt generally means you have yet to test these changes in a development setup or complete any prerequisites. We need you to follow the guides mentioned in the checklist. Please revalidate these changes in a developer environment and confirm how you validated your changes.\n\nHappy contributing!\n\n---\n_**Note:** This message was automatically generated by a bot. If you feel this message is in error or would like help resolving it, feel free to reach us [in our contributor chat](https://discord.gg/PRyKn3Vbay)._"
})
} else if (isDev.status === 200 || isMod.status === 200) {
core.notice('This PR adds commits made on GitHub Web UI by a member of staff or mod.')
}

0 comments on commit 9d718dc

Please sign in to comment.