Skip to content

Store vdr.json file as a file in this repository #200

@smlambert

Description

@smlambert

Upon creation of the vdr.json file (see here), instead of merely storing it as an artifact in the Github action, we should store the file in this repo (either direct push, or PR that is auto-merged). In this way, we would have a permanent URL to 'point at' from other sources when referring to the vdr.

    - name: Direct Push Update
      run: | 
          echo "Direct Push:"
          git config --global user.name "Auto-Push[bot]"
          git config --global user.email "auto-push@users.noreply.github.com" 
          git add vdr.json
          git commit -m "Updated stats"
          git push

A similar example of this in use can be found here.

If we continue to generate the vdr on every push / pull_request, we may need to mitigate a potential infinite loop problem of updating a file via an action triggered by a pull request, by inserting a paths-ignore case.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    Status

    Paused/Blocked

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions