Add command for syncing

.github/workflows/bot-cmd.yml

@@ -0,0 +1,40 @@
+---
+name: Grue-bot
+on:
+  issue_comment:
+    types: [created]
+name: Automatic Rebase
+jobs:
+  sync-eips:
+    name: Sync with EIPs
+    if: contains(github.event.comment.body, '/sync')
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v2
+      with:
+        persist-credentials: false # otherwise, the token used is the GITHUB_TOKEN, instead of your personal access token.
+        fetch-depth: 0 # otherwise, there would be errors pushing refs to the destination repository.
+    - name: Scrape EIPs
+      run: |
+        chmod +x "${GITHUB_WORKSPACE}/scrape-eips.sh"
+        "${GITHUB_WORKSPACE}/scrape-eips.sh"
+    - name: Check for changes
+      run: |
+        if git diff --exit-code -- .cache/eip-index; then
+          echo "changes_exist=false" >> $GITHUB_ENV
+        else
+          echo "changes_exist=true" >> $GITHUB_ENV
+        fi
+    - name: Commit files
+      if: ${{ env.changes_exist == 'true' }}
+      run: |
+        git config --local user.email "[email protected]"
+        git config --local user.name "grue-bot"
+        git add .
+        git commit -am "[grue-bot] Generate .cache/eip-index"
+    - name: Push changes
+      if: ${{ env.changes_exist == 'true' }}
+      uses: ad-m/github-push-action@master
+      with:
+        github_token: ${{ secrets.FZF_TOKEN}}
+        branch: ${{ github.ref }}