Merge pull request #1 from casperdcl/devel

.github/FUNDING.yml

@@ -0,0 +1,2 @@
+github: casperdcl
+custom: https://cdcl.ml/sponsor

.github/workflows/comment-bot.yml

@@ -0,0 +1,52 @@
+name: Comment Bot
+on:
+  issue_comment:
+    types: [created]
+  pull_request_review_comment:
+    types: [created]
+jobs:
+  tag:  # /tag <tagname> <commit>
+    if: startsWith(github.event.comment.body, '/tag ')
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v2
+    - name: React Seen
+      uses: actions/github-script@v2
+      with:
+        script: |
+          const perm = await github.repos.getCollaboratorPermissionLevel({
+            owner: context.repo.owner, repo: context.repo.repo,
+            username: context.payload.comment.user.login})
+          post = (context.eventName == "issue_comment"
+            ? github.reactions.createForIssueComment
+            : github.reactions.createForPullRequestReviewComment)
+          if (!["admin", "write"].includes(perm.data.permission)){
+            post({
+              owner: context.repo.owner, repo: context.repo.repo,
+              comment_id: context.payload.comment.id, content: "laugh"})
+            throw "Permission denied for user " + context.payload.comment.user.login
+          }
+          post({
+            owner: context.repo.owner, repo: context.repo.repo,
+            comment_id: context.payload.comment.id, content: "eyes"})
+        github-token: ${{ secrets.GH_TOKEN }}
+    - name: Tag Commit
+      run: |
+        git clone https://${GITHUB_TOKEN}@github.com/${GITHUB_REPOSITORY} repo
+        git -C repo tag $(echo "$BODY" | awk '{print $2" "$3}')
+        git -C repo push --tags
+        rm -rf repo
+      env:
+        BODY: ${{ github.event.comment.body }}
+        GITHUB_TOKEN: ${{ secrets.GH_TOKEN }}
+    - name: React Success
+      uses: actions/github-script@v2
+      with:
+        script: |
+          post = (context.eventName == "issue_comment"
+            ? github.reactions.createForIssueComment
+            : github.reactions.createForPullRequestReviewComment)
+          post({
+            owner: context.repo.owner, repo: context.repo.repo,
+            comment_id: context.payload.comment.id, content: "rocket"})
+        github-token: ${{ secrets.GH_TOKEN }}

.github/workflows/daily.yml

@@ -5,6 +5,7 @@ on:
   - cron: '6 0 * * *'  # M H d m w (daily at 00:06)
 jobs:
   ghstat:
+    if: github.event_name != 'pull_request' || github.repository_owner != 'casperdcl'
     runs-on: ubuntu-latest
     steps:
     - uses: actions/setup-python@v2
@@ -19,6 +20,7 @@ jobs:
         repos-skip: ${{ secrets.REPOS_SKIP }}
         lang-names: ${{ secrets.LANG_NAMES }}
   check:
+    if: github.event_name != 'pull_request' || github.repository_owner != 'casperdcl'
     runs-on: ubuntu-latest
     steps:
     - uses: actions/checkout@v2

LICENCE.md

@@ -357,7 +357,7 @@ Exhibit A - Source Code Form License Notice
 
   This Source Code Form is subject to the terms of the Mozilla Public
   License, v. 2.0. If a copy of the MPL was not distributed with this
-  file, You can obtain one at http://mozilla.org/MPL/2.0/.
+  project, You can obtain one at http://mozilla.org/MPL/2.0/.
 
 If it is not possible or desirable to put the notice in a particular
 file, then You may include the notice in a location (such as a LICENSE

action.yml

@@ -31,20 +31,20 @@ inputs:
 runs:
   using: composite
   steps:
-    - name: setup
-      run: pip install -r ${{ github.action_path }}/requirements.txt
-      shell: bash
-    - name: ghstat
-      run: ${{ github.action_path }}/ghstat.sh
-      shell: bash
-      env:
-        GH_TOKEN: ${{ inputs.github-token }}
-        GH_GIST_ID: ${{ inputs.gist-id }}
-        AUTHOR: ${{ inputs.author }}
-        GH_USER: ${{ inputs.user }}
-        REPOS_INCL: ${{ inputs.repos-incl }}
-        REPOS_SKIP: ${{ inputs.repos-skip }}
-        LANG_NAMES: ${{ inputs.lang-names }}
+  - name: setup
+    run: pip install -r ${{ github.action_path }}/requirements.txt
+    shell: bash
+  - name: ghstat
+    run: ${{ github.action_path }}/ghstat.sh
+    shell: bash
+    env:
+      GH_TOKEN: ${{ inputs.github-token }}
+      GH_GIST_ID: ${{ inputs.gist-id }}
+      AUTHOR: ${{ inputs.author }}
+      GH_USER: ${{ inputs.user }}
+      REPOS_INCL: ${{ inputs.repos-incl }}
+      REPOS_SKIP: ${{ inputs.repos-skip }}
+      LANG_NAMES: ${{ inputs.lang-names }}
 branding:
   icon: pie-chart
   color: purple

ghstat.sh

@@ -71,7 +71,7 @@ if [[ -n "$GH_USER" ]]; then
   )"
   repos="$(echo "$repos" | sort -u | comm -23 - <(for i in $REPOS_INCL; do echo $i; done | sort -u))"
   repos="$(echo "$repos" | sort -u | comm -23 - <(for i in $REPOS_SKIP; do echo $i; done | sort -u))"
-  total="$(echo $repos | wc -w)"
+  total="$(echo "$repos" | wc -w)"
   REPOS_INCL="$REPOS_INCL $(
     i=0
     for repo in $repos; do