Fix username for media downloads

axsuul · Nov 20, 2023 · ec31dee · ec31dee
1 parent 88370b2
commit ec31dee
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
@@ -36,7 +36,6 @@ jobs:
       - name: Build Docker image tags
         run: |
           echo 'DOCKER_IMAGE_TAGS<<EOF' >> $GITHUB_ENV
-          echo "ghcr.io/${{ github.repository }}:${{ github.sha }}" >> $GITHUB_ENV
 
           # Add release tag if it matches pattern (e.g. 0.0.1)
           if [[ ${{ github.ref_name }} =~ .+\..+\..+ ]]; then

diff --git a/lib/middleware/collector.rb b/lib/middleware/collector.rb
@@ -119,11 +119,11 @@ def collect_activity_metrics
             next unless activity_resource.dig("type") == "media.download"
 
             # The title will be something like "Media download by user123"
-            user = activity_resource.dig("title").split(/\s+/).last
+            username = activity_resource.dig("title").split(/\s+/).last
 
             labels = {
               user_id: activity_resource.dig("userID"),
-              user: user,
+              username: username,
             }
 
             values[labels] += 1